I think Gödel has to be right about mathematical Platonism, because the alternative is that maths is ugly purely due to errors in its construction.
We *have* to believe that maths is externally real, otherwise we've already lost.
maybe a weaker phrasing of this is with an if-statement:
if maths is to be interesting at all, something like Gödel's understanding has to be true - it has to be externally real
the mastodon instance at cybre.space is retired see the end-of-life plan for details: https://cybre.space/~chr/cybre-space-eol
maybe a weaker phrasing of this is with an if-statement:
if maths is to be interesting at all, something like Gödel's understanding has to be true - it has to be externally real