 about the inexhaustibility of mathematics (see separate sheet). He was stimulated to this idea by Brouwer’s Vienna lecture. Mathematics is not completely formalizable. He appears to be right. (Wang 1987: 84)