Grenzfall einer Gleichung). Denn wir gebrauchen Ausdrücke der Form x = x wie richtige Gleichungen, wobei wir uns vollkommen bewußt sind, daß es sich um degenerierte Gleichungen handelt. Im gleichen Fall sind Sätze in geometrischen Beweisen wie etwa: „der ∢α ist gleich [g|d]em ∢β, der ∢γ ist sich selbst gleich, …”.
Man könnte nun einwenden daß richtige Gleichungen der Form x = y auch Tautologien

dagegen &

falsche Contradictionen sein müßten weil man ja die richtige Gleichung muß beweisen können & das, indem man die beiden Seiten der Gleichung transformiert bis eine Identität x = x herauskäme. Aber obwohl durch diesen Prozess die erste Gleichung als richtig erwiesen ist & insofern die Identität x = x das Endziel der Transformationen war so ist sie nicht das Endziel in dem Sinne als hätte man durch die Transformationen der Gleichung ihre richtige Form geben wollen, wie man einen krummen Gegenstand zurechtbiegt, & als habe sie nun in der Form Identität diese vollkommene Form (endlich) erreicht. Man kann also nicht sagen: die richtige Gleichung ist ja eigentlich eine Identität. Sie ist eben keine Identität.