Auch die Logik ist keine Mathematik, 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.