59Tagebuch 30. VIII. 1954 – 31. XII. 1956 [Rudolf Carnap: Tagebücher], Eintrag Mi 18. I. 1956

Am Distanzensystem für Symbol gearbeitet. (Neuer Anfang; es schien zu glücken, erfüllt schließlich aber nicht das Quotiententheorem.)