Comment by bulbar

Why the belittling language? You actually can prove the completeness and consistency of portions of mathematics.

While axioms were known in ancient times, only Hilbert started the whole "prove Mathematics" thing.

How else would you prove mathematics and why would that be childish to use math? The limitations discovered were quite surprising back then.