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
ein nicht-mathematischer
nicht ein mathematischer
Satz.
      Dagegen ist aber ein Beweis de der angewandten Mathematik ein mathematischer Beweis

;
:, –
eine Rechnung.
›––––––––––‹