Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:aleph-null |
cardinality of natural numbers
smallest infinite cardinal |
| gptkbp:aleph-one |
next cardinal after aleph-null
|
| gptkbp:describes |
cardinalities of infinite sets
|
| gptkbp:distinctFrom |
gptkb:beth_numbers
|
| gptkbp:field |
gptkb:set_theory
|
| gptkbp:firstLine |
aleph-null
|
| https://www.w3.org/2000/01/rdf-schema#label |
aleph numbers
|
| gptkbp:infiniteSequence |
yes
|
| gptkbp:introduced |
gptkb:Georg_Cantor
|
| gptkbp:notation |
ℵ₀, ℵ₁, ℵ₂, ...
|
| gptkbp:relatedTo |
cardinal numbers
ordinal numbers |
| gptkbp:symbol |
ℵ
|
| gptkbp:usedIn |
gptkb:continuum_hypothesis
gptkb:logic gptkb:transfinite_arithmetic foundations of mathematics |
| gptkbp:usedToClassify |
sizes of infinite sets
|
| gptkbp:bfsParent |
gptkb:Continuum_hypothesis
gptkb:Georg_Cantor's_set_theory gptkb:continuum_hypothesis gptkb:Set_Theory gptkb:Set_theory gptkb:Cardinal_Arithmetic |
| gptkbp:bfsLayer |
5
|