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

(Gearbeitet an neuer Idee: Übersetzung aus semantischer Metasprache mit Gödelnummern in Objektsprache mit Stufenbau; das ist anwendbar für Übersetzung von „nomologisch“ und wenn es expliziert ist, in Objektsprache mit logischen Modalitäten und daher auch in extensionale Objektsprache.) – 1-2 Department Meeting. – Abends zusammen, Sch., gut; aber Ina fühlt sich ungemütlich, weil ihre Haut an vielen Stellen juckt (Allergie?).