Gödel, a leading platonist, believed that mathematical objects exist independently of us, and that our axioms are just our best guesses about them—so true but unprovable statements like those in his incompleteness theorems simply describe a reality we haven't yet fully seen. In contrast, the formalist Hilbert saw mathematics as a game played with symbols, where truth is just what follows from the rules.