Template:Individual-TLP-paragraph-en-5.534

5.534 And we see that 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.