Assertion: set | /r/CapableOf | use few properties
Facets:
value: from set theory
type: OTHER
Source sentences:
text: We first assume that the empty set is not unique, that there are two sets with no elements in them, and then use a few properties from set theory to show that this assumption implies a contradiction.