Der Beweis der Widerspruchsfreiheit der Axiome, 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 großes Unglück. Nichts leichter, als ihn zu beseitigen.