6˙1213
Der sinnvolle Satz sagt etwas aus, und sein Beweis zeigt daß es so ist; in der Logik ist jeder Satz die Form eines Beweises.