Theorie/Erster Stufe/Ableitbar/Axiomatisierbar/Aufzählbar/Fakt
Erscheinungsbild
Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe.
Eine axiomatisierbare Theorie ist aufzählbar.
Es sei ein
Symbolalphabet
und
die zugehörige
Sprache erster Stufe.
Eine
axiomatisierbare Theorie
ist
aufzählbar.