8.6.15.
Jeder „Mathematische Satz” ist ein in Zeichen dargestellter
Modus ponens. (Und es ist klar, daß man den Modus ponens nicht in einem Satz ausdrücken kann)