 This record contains in particular elements from the second of Brouwer’s two lectures in Vienna, in which one finds the argument that Gödel refers to: on the one hand, the full continuum is given in a priori intuition, while on the other hand, it cannot be exhausted by a language with countably many expressions (Brouwer 1930A: 3, 6 [Mancosu 1998: 56, 58]).