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 -- https://mail.python.org/mailman/listinfo/python-list
