Man könnte also sagen: Wenn Mathematik in irgend einem Sinne Logik ist (wenn auch nicht ganz so wie Frege & Russell sich es dachten), so ist ein Satz der angewandten Math.
156
nicht ein mathematischer || ein nicht-mathematischer Satz.
     Dagegen ist aber ein Beweis der angewandten Mathematik ein mathematischer Beweis: || , – || || ; eine Rechnung.
›––––––––––‹