72Tagebuch 4. I. 1968 – 31. XII. 1968 [Rudolf Carnap: Tagebücher], Eintrag Di 30. I. 1968

10 – 1 ½David und Gaifman hier. G. erklärt die Hauptidee von Cohens Beweis, dass die Negation der Continuum Hypothese auch verträglich ist mit dem Zermelo-Fraenkel AS der Mengenlehre. Er erklärt es gut und klar. Dann sprechen wir allgemein über Vorteile und Nachteile der der Akzeptierung der Continuum Hypothese. (Siehe meine Notizen in folder „Mengenlehre“.) Auch Bemerkung über die ungeheuere Größe von power sets von unendlichen Mengen; dadurch wird die continuums hypothesis zweifelhaft, und einige finden sogar den Begriff von power set bedenklich.)) – Notizen geschrieben, Überlegungen . Gelesen. 🕮\(Dr. Rimer) (Mia hier)\