Mathematische Logik/Gemischte Satzabfrage/6/Aufgabe
Formuliere die folgenden Sätze.
- Der Satz über die Auffüllung widerspruchsfreier aussagenlogischer Mengen (abzählbarer Fall).
- Das Koinzidenzlemma.
- Das Unvollständigkeitslemma.
Formuliere die folgenden Sätze.