Assertion: class | /r/HasProperty | set
Facets:
Source sentences:
text: A class that is not a set (informally in Zermelo–Fraenkel) is called a proper class, and a class that is a set is sometimes called a small class.
text: The paradoxes of naive set theory can be explained in terms of the inconsistent tacit assumption that "all classes are sets".