Assertion: set's property | /r/HasProperty | postulated by appropriate formal axioms
Facets:
Source sentences:
text: In set theory, however, as is usual in mathematics, sets are given axiomatically, so their existence and basic properties are postulated by the appropriate formal axioms.