| Kommentar |
Dieses PS dient zum Kennenlernen der weithin akzeptierten axiomatischen Mengentheorie ZF, der Zermelo-Fraenkelschen Mengentheorie. Die Sprache und Axiome von ZF sowie grundlegende Definitionen werden vorgestellt und wichtige basale Theoreme in ZF bewiesen. Es geht dabei u.a. um die endlich-unendlich Unterscheidung, um Ordinal- und Kardinalzahlen, um die mengentheoretische Behandlung von natürlichen Zahlen. Speziell in diesem Teil gehen auch metamathematische Betrachtungen ein. Der Beweis des Rekursionstheorems soll das PS abschließen. Aus philosophischer Perspektive interessiert mich, wie viel man in einer voraussetzungsarmen Mengentheorie entwickeln kann. |
