 In the spring of 1961 I visited Brouwer at his home. He discoursed widely on many subjects. Among other things he said that he did not think G’s incompleteness results are as important as Heyting’s formalization of intuitionistic reasoning, because to him G’s results are obvious (obviously true). (Wang 1987:  88)[13]