Nachmittags mit InaPCarnap, Ina (eig. Elisabeth Maria immacul[ata] Ignatia), 1904–1964, geb. Stöger, heiratete 1933 Rudolf Carnap bei UngerLWien!Herrenausstatter Unger schwarzes Sakko für PragLPrag gekauft. 6 – ½ 9 Café ReichsratLWien!Café Reichsrat mit FeiglPFeigl, Herbert, 1902–1988, öst.-am. Philosoph, seit 1931 verh. mit Maria Feigl, GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker, dann WaismannPWaismann, Friedrich, 1896–1959, öst.-brit. Philosoph, verh. mit Hermine Waismann. Reiseplan mit Schiff nach KönigsbergLKönigsberg. GödelsPGödel, Kurt, 1906–1978, öst.-am. Mathematiker Entdeckungen: Unvollständigkeit des Systems der PMBRussell, Bertrand, und Alfred North Whitehead!1910@Principia Mathematica, Cambridge UK, 1910–1913, 2. Aufl., 1925–1927; Schwierigkeit des Widerspruchsfreiheitsbeweises.102Vgl. Gödel, „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I“ und Gödel, „Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit“ sowie Dawson, Logical Dilemmas, 68–75 und Mancosu, The Adventure of Reason, 232–239.⚬klein Pr mit Ring.
