Mathematische Logik/Gemischte Satzabfrage/6/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formuliere die folgenden Sätze.

  1. Der Satz über die Auffüllung widerspruchsfreier aussagenlogischer Mengen (abzählbarer Fall).
  2. Das Koinzidenzlemma.
  3. Das Unvollständigkeitslemma.
Zur Lösung, Alternative Lösung erstellen