 Gödel spoke with Sue Toledo between 1972 and 1975 about the project of finding primitive terms, as well as other aspects of phenomenology. See Toledo 2011. We discuss Gödel’s involvement with phenomenology further in the supplementary document  Gödel’s Turn to Phenomenology.