(In a model-theoretic context an identity t=t' is written as a sentence ∀ u 1 u 2 … u n ( t = t ′ ) {\displaystyle \forall u_{1}u_{2}\dots u_{n}(t=t')} .)
(Σε ένα μοντελο-θεωρητικό πλαίσιο μια ταυτότητα t=t' γράφεται σαν μια πρόταση ∀ u 1 u 2 … u n ( t = t ′ ) {\displaystyle \forall u_{1}u_{2}\dots u_{n}(t=t')} .)