Mathematische Logik II: Vorlesung (Mo, 09.11.2020)
  • Einbetten

Kapitel:

00:00:03
Wiederholung
00:16:33
Lineare Ordnung der Stufen
01:28:16
Ausblick (Ersetzungsaxiom)