Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/Entscheidbar/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe.

Jede aufzählbare (oder aufzählbar axiomatisierbare), widerspruchsfreie und vollständige Theorie ist entscheidbar.

Zum Beweis, Alternativen Beweis erstellen