17.
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.