Philosophical arguments aside, Gödel himself was absolutely, even evangelically, a mathematical realist. He believed any meaningful statement about mathematics

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 https://plato.stanford.edu/entries/goedel/#GodRea