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

Kapitel:

00:00:05
Organisatorisches
00:01:50
Kapitel 1: Mengenlehre
00:01:59
Mengen und Klassen
00:15:08
Miniaturversion der Mengenlehre (Hereditär endliche Mengen)
00:26:13
Axiomensysteme der Mengenlehre
00:51:09
Das Axiomensystem ZFC