`Mathematics has become a court of arbitration, a supreme tribunal to decide
fundamental questions -- on a concrete basis on which everyone can agree
and where every statement can be controlled' (Hilbert).