He thought there was some meaning and truth in mathematics, which is precisely why he was trying to prove the consistency of number theory.
К досаде формалистов, было показано, что вопрос о противоречивости теории не имеет адекватного разрешения внутри любой из употребительных в математике формальных систем.