Assertion: certain class | /r/HasProperty | proper
Facets:
Source sentences:
text: With a rigorous foundation, these paradoxes instead suggest proofs that certain classes are proper (i.e., that they are not sets).