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.