Ich sagte oben “Kalkül ist kein mathematischer Begriff”; das heißt, das Wort ‘Kalkül’ ist kein Schachstein der Mathematik.
     Es brauchte in der Mathematik nicht vorzukommen. – Und wenn es doch in einem Kalkül gebraucht wird, so ist dieser nun kein Metakalkül. Vielmehr ist dann dieses Wort wieder nur ein Schachstein wie alle andern.
540

     Auch die Logik ist keine Metamathematik, d.h. auch Operationen des logischen Kalküls können || das Arbeiten mit dem logischen Kalkül kann keine wesentlichen Wahrheiten über die Mathematik zu Tage fördern. Siehe hierzu das “Entscheidungsproblem” und ähnliches in der modernen mathematischen Logik.