Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/Entscheidbar/Fakt
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.