On: Kurt Gödel and the Mechanization of Mathematics

[morelisp]

Philosophical arguments aside, Gödel himself was absolutely, even evangelically, a mathematical realist. He believed any meaningful statement about mathematics had an objective truth value, axiomatic systems be damned.

https://plato.stanford.edu/entries/goedel/#GodRea