/  
17.
Auch die Logik ist keine Metamathematik[;|,] d.h. auch Operationen des das Arbeiten mit dem logischen Kalkülss können kann keine ˇwesentlichen Wahrheiten über die Mathematik zu [t|T]age fördern. Siehe hierzu das „Entscheidungsproblem” und ähnliches in der modernen mathematischen Logik.