Comment by ben_w

Famously, all of maths is axioms and tautologies, so I'm not sure this will assuage any professional mathematicians currently having an existential crisis.

Maths was already infinite, it's still infinite, but who wants to spend all their lives changing rooms inside Hilbert's Hotel?