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