Theorie/Erster Stufe/Ableitbar/Vollständig/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Vollständige Theorie

Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe. Eine Theorie heißt vollständig, wenn für jeden Satz gilt oder .