Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:cannotBeElementOf |
AnyClass
|
| gptkbp:compatibleWith |
AnySet
ElementOfSet |
| gptkbp:contrastsWith |
Sets
|
| gptkbp:definedIn |
gptkb:Set_Theory
|
| gptkbp:example |
Class of All Ordinals
Class of All Sets |
| gptkbp:hasProperty |
TooLargeToBeSet
|
| gptkbp:relatedTo |
gptkb:Russell's_Paradox
|
| gptkbp:symbol |
C
|
| gptkbp:usedIn |
gptkb:Morse–Kelley_Set_Theory
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory |
| gptkbp:bfsParent |
gptkb:Axiom_Schema_of_Subsets
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Proper Classes
|