 Identity may be formalized in the language \(L\) of classical first-order logic (FOL) by selecting a two place predicate of \(L\), rewriting it as ‘=’, and adopting the universal closures of the following two postulates: