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