Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Mathematische Logik/Gemischte Satzabfrage/6/Aufgabe
Sprache
Beobachten
Bearbeiten
Formuliere die folgenden Sätze.
Der Satz über die Auffüllung widerspruchsfreier aussagenlogischer Mengen (abzählbarer Fall).
Das
Koinzidenzlemma
.
Das
Unvollständigkeitslemma
.
Zur Lösung
,
Alternative Lösung erstellen