Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/Entscheidbar/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache erster Stufe.

Jede aufzählbare (oder aufzählbar axiomatisierbare), widerspruchsfreie und vollständige Theorie ${}T\subseteq L_{0}^{S}$ ist entscheidbar.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Theorie/Erster_Stufe/Ableitbar/Aufzählbar,_vollständig,_widerspruchsfrei/Entscheidbar/Fakt&oldid=556242“

Ableitungskalkül der Prädikatenlogik/Fakten