Sie läßt alles wie es ist.
     Sie läßt auch die Mathematik wie sie ist (jetzt ist) und keine mathematische Entdeckung kann sie weiter bringen.
     Ein “führendes Problem der mathematischen Logik” (Ramsey) ist ein Problem der Mathematik wie jedes andere.