Assertion: set | /r/HasProperty | defined in term
Facets:
Source sentences:
text: By limiting oneself to sets defined only in terms of what has already been constructed, one ensures that the resulting sets will be constructed in a way that is independent of the peculiarities of the surrounding model of set theory and contained in any such model.