Identity, defined by x = y ↔ ∀ z ′ {\displaystyle x=y\leftrightarrow \forall z'} .
Ταυτότητα, ορίζεται ως x = y ↔ ∀ z ′ {\displaystyle x=y\leftrightarrow \forall z'} .