 Indeed, according to Carnap, it had been an argument of Brouwer’s that had stimulated Gödel in finding the first theorem. In a diary note for December 12, 1929, Carnap states that Gödel talked to him that day