Assertion: set | /r/HasAspect | additional structures
Facets:
Source sentences:
text: When sets have additional structures, both kinds of infiniteness can sometimes be proved equivalent over ZF.