Logik/Vollständigkeitssatz/Auffüllung mit Beispielen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine widerspruchsfreie Menge an -Ausdrücken (über einem Symbolalphabet ).

Dann gibt es eine aufsteigende Folge von Symbolmengen

und eine Folge von aufsteigenden -Ausdrucksmengen

derart, dass zum Symbolalphabet die -Ausdrucksmenge

widerspruchsfrei ist und Beispiele enthält.