Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition

Aus Wikiversity
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.