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