Assertion: identity | /r/HasProperty | formalized in the language
Facets:
value: of classical first-order logic
type: OTHER
Source sentences:
text: 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: