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