Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:canBe |
gptkb:box_set
proper class |
| gptkbp:compatibleWith |
element of another class (if proper class)
|
| gptkbp:contrastsWith |
gptkb:box_set
|
| gptkbp:definedIn |
collection of sets described by a property
|
| gptkbp:example |
class of all ordinals
class of all cardinals class of all sets |
| gptkbp:field |
gptkb:set_theory
|
| gptkbp:formedBy |
predicate logic
|
| gptkbp:hasProperty |
may be too large to be a set
|
| gptkbp:hasType |
definable class
indefinable class |
| https://www.w3.org/2000/01/rdf-schema#label |
Class (set theory)
|
| gptkbp:relatedTo |
gptkb:Russell's_paradox
gptkb:universe_(set_theory) |
| gptkbp:studiedBy |
gptkb:mathematician
|
| gptkbp:usedIn |
gptkb:set_theory
gptkb:von_Neumann–Bernays–Gödel_set_theory gptkb:Morse–Kelley_set_theory |
| gptkbp:bfsParent |
gptkb:Universal_(logic)
|
| gptkbp:bfsLayer |
6
|