He and others who attempted this saw mathematics as a deeply philosophical game but a game nonetheless.
Ele e outros, que tentaram isso, viam a matemática  como um jogo profundamente filosófico mas, de qualquer modo, um jogo.