 With respect to the first incompleteness theorem, Brouwer’s reaction is readily understandable. Already in his dissertation, he had noted that the totality of all possible mathematical constructions is “denumerably unfinished”; by this he meant that