Das Zermelo-Fraenkel-Axiomensystem der Mengenlehre (ZF)
HTML-код
- Опубликовано: 1 авг 2024
- Axiomatische Mengenlehre (im Gegensatz zur "naiven Mengenlehre", die für den mathematischen Alltag normalerweise ausreicht)
Das GANZ NEUE Buch: weitz.de/GDM/
Das NEUE Buch: weitz.de/PP/
Wenn man so etwas wie die Unabhängigkeit der Kontinuumshypothese oder des Auswahlaxioms beweisen will, braucht man ein Axiomensystem, auf das man sich beziehen kann. ZF ist das heutzutage am häufigsten verwendete. Mehr zu diesem Thema in den folgenden Videos:
* Das Auswahlaxiom: • Das (berühmt-berüchtig...
* Ordinalzahlen: • Unendlich plus eins - ...
* Kardinalzahlen: • Was sind Kardinalzahle...
* Der Satz von Cantor-Bernstein: • Der Satz von Cantor-Be...
* Vitali-Mengen: • Mengen, die nicht mess...
* Gödels Unvollständigkeitssätze: • Gödel (miss)verstehen ... und • Gödels Unvollständigke...
Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
Illustrationen von Heike Stephan: / haiartandillustration
Allgemeine Anmerkungen: weitz.de/youtube.html
00:00 Geschichte und Bedeutung der Mengenlehre
03:51 Naive Mengenlehre und Antinomien
07:25 Axiomatische Mengenlehre
11:56 Crashkurs Prädikatenlogik
29:18 Die Axiome von ZF
45:20 Mathematik in ZF
50:08 Wie sieht eine Zahl aus?