Assertion: equality | /r/HasProperty | axiomatized in two different ways
Facets:
Source sentences:
text: Equality of sets is axiomatized in set theory in two different ways, depending on whether the axioms are based on a first-order language with or without equality.