Assertion: set | /r/CapableOf | form a model of zf
Facets:
Source sentences:
text: However, if an inaccessible cardinal κ {\displaystyle \kappa } is assumed, then the sets of smaller rank form a model of ZF (a Grothendieck universe), and its subsets can be thought of as "classes".