Assertion: set | /r/HasProperty | needed for mathematic
Facets:
Source sentences:
text: So if the starting point is just X = {}, a great deal of the sets needed for mathematics appear as elements of the superstructure over {}.