Tractatus

5.534

And we see that the apparent propositions like: “a=a”, “a=b.b=c.a=c”, “(x).x=x”. “(x).x=a”, etc. cannot be written in a correct logical notation at all.