61Tagebuch 4. III. 1959 – 17. XII. 1959 [Rudolf Carnap: Tagebücher], Eintrag Mi 1. IV. 1959

Mi 1. IV. 10 ½ – 2 ½Leblanc hier. (Er wohnt Claremont Hotel, Ina bringt ihn. Über seine Fragen zum hypergeometrischen Theorem. Ich: Er muss beachten, wie die Prädikate definiert sind; das ist vielleicht hier nicht wichtig, wohl aber für prädikativen Schluss. Er: Er will nur was nur verwenden aufgrund der 5 Axiome von Regularität. Für anderes nimmt er Symmetriemethode. Ich: Vorsicht im Kombinieren der beiden! Er will Symmetrie nicht allgemein als Axiom nehmen, sondern für Bedeutung in bestimmten Theoremen. Ich: Savage ist heute nicht mehr unbedingt gegen weitere Axiome.) 12 ½Kalish und Montague kommen. (Sie wollen sehen, ob Kolloquium für Mo nachmittag arrangiert werden kann.) – Gelesen.