Der Beweis der Widerspruchsfreiheit der Axiome auf || über den die Mathematiker heute so einen Sums machen. Ich habe das Gefühl: wenn in den Axiomen eines Systems ein Widerspruch wäre so wäre das gar nicht so ein großes Unglück. Nichts leichter als ihn zu beseitigen.