Marko Rauhamaa wrote: > In Second-Order Logic, you can define identity directly: >> ∀x ∀y x = y ↔ ∀P (P(x) ↔ P(y)) That looks more like a definition of *equality* to me. In mathematics, everything is immutable, so there isn't really any distinction between equality and identity. -- Greg