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