Die Gleichungen der Mathematik kann man, so scheint es mir, nur mit sinnvollen Sätzen vergleichen, nicht mit Tautologien. Denn die Gleichung enthält eben dieses aussagende Element – das Gleichheitszeichen – das nicht dazu bestimmt ist, etwas zu zeigen. Denn was sich zeigt, das zeigt sich ohne das Gleichheitszeichen. Das Gleichheitszeichen entspricht nicht dem “.C.” in “p & (pCq) .C. q” denn das “.C.” ist nur ein Bestandteil unter anderen, die zur Bildung der Tautologie gehören. Es fällt nicht aus dem Zusammenhang heraus, sondern gehört zum Satz, wie das “ & ” oder “C”. Das “ = ” aber ist eine Copula, die allein die Gleicheitung zu etwas Satzartigem macht. Die Tautologie zeigt etwas, die Gleichung zeigt nichts, sondern weist darauf hin, dass ihre Glieder etwas zeigen.