Assertion: set | /r/HasProperty | usual
Facets:
value: in mathematics
type: OTHER
value: in set theory
type: OTHER
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.
text: So, \(AD^{L(\Bbb R )}\) implies that every set of reals that belongs to \(L(\Bbb R)\) is regular.