6˙1214
Jeder logische Satz ist ein in Zeichen dargestellter Modus ponens. (Und den Modus ponens kann man nicht durch einen Satz ausdrücken)