Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Kurs
:
Einführung in die mathematische Logik/Natürliche Zahlen/Addition mit n/Nachfolgerzählen/Hilfseigenschaften/Fakt/Faktreferenznummer
Sprache
Beobachten
Bearbeiten
Lemma 12.6 (Einführung in die mathematische Logik (Osnabrück 2021))