Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition
Erscheinungsbild
Endlich axiomatisierbar
Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe. Eine Theorie heißt endlich axiomatisierbar, wenn es endlich viele Sätze mit gibt.