Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition
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.
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.