Godel’s second theory of incompleteness states that a formal system cannot prove its own consistency

I think that’s as close as you can get to “math is not objective”