Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Aufzählbar axiomatisierbar

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