Der Beweis der Widerspruchsfreiheit der Axiome, von dem die Mathematiker heute soviel Aufhebens machen. Ich habe das Gefühl: wenn in den Axiomen eines Systems ein Widerspruch wäre, so wäre das gar nicht so ein grosses Unglück. Nichts leichter, als ihn zu beseitigen.