Ich sagte oben “Kalkül ist kein mathematischer Begriff”ö; das heisst, 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 // das Arbeiten mit dem logischen Kalkül // können // kann // keine wesentlichen Wahrheiten über die Mathematik zu Tage fördern. Siehe hierzu das “Entscheidungsproblem” und ähnliches in der modernen mathematischen Logik.