Ord (mathematics)

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf class (set theory)
gptkbp:alsoKnownAs class of all ordinals
gptkbp:contains all ordinal numbers
gptkbp:definedIn gptkb:set_theory
gptkbp:hasCardinality proper class (not a set)
https://www.w3.org/2000/01/rdf-schema#label Ord (mathematics)
gptkbp:isNotASet true
gptkbp:isProperClass true
gptkbp:symbol gptkb:Ord
gptkbp:usedIn ordinal arithmetic
transfinite induction
gptkbp:bfsParent gptkb:Ord
gptkbp:bfsLayer 6