70Tagebuch 1. I. 1966 – 5. I. 1967 [Rudolf Carnap: Tagebücher], Eintrag Do 7. VII. 1966

Am AS (seit langem zum ersten Mal wieder. Humburg comments überlegt, für die erste Sektion: Ich will \(C\) als Prinzip nehmen, definieren. Aber: Ich bemerke, dass ich dann doch viele Theoreme umkrempeln muss; und es graust mich vor der vielen Arbeit; und vor allem, dass ich dann genau im Kopf haben muss, wie die neue Methode geht, und auch spätere Beweise umkramen! Vielleicht kann ich doch ein Zwischending machen: Die Hauptsache stehen lassen; und nur sagen, wie man es auch anders machen könnte.)