68Tagebuch 1. I. 1964 – 31. XII. 1964 [Rudolf Carnap: Tagebücher], Eintrag Sa 18. I. 1964

Am AS (digression: 3 Prädikate, mit neuem Axiom: für zwei Teile der Familie wird \(\lambda{}\)-Methode genommen; \(\lambda{}\) eindeutig bestimmt durch \(\eta _{ij(23)}\).)