Theorie/Erster Stufe/Ableitbar/Axiomatisierbar/Entscheidbar/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Axiomatisierbar (syntaktisch)

Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe. Eine Theorie heißt axiomatisierbar, wenn es eine -entscheidbare Satzmenge gibt mit .