Aleph (mathematics)
E622067
Aleph (mathematics) denotes the infinite cardinal numbers used in set theory to measure and compare the sizes of infinite sets.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Aleph (mathematics) canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6827688 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Aleph (mathematics) Context triple: [El Aleph, relatedConcept, Aleph (mathematics)]
-
A.
Zermelo–Fraenkel set theory
Zermelo–Fraenkel set theory is the standard axiomatic framework for modern set theory, designed to avoid paradoxes and provide a rigorous foundation for much of mathematics.
-
B.
Feferman–Schütte ordinal
The Feferman–Schütte ordinal is a large countable ordinal that marks the proof-theoretic strength of predicative arithmetic and analysis, serving as a key boundary in ordinal analysis and foundations of mathematics.
-
C.
Cantor’s theorem
Cantor’s theorem is a fundamental result in set theory stating that the power set of any set has a strictly greater cardinality than the set itself, implying there is no largest infinity.
-
D.
Zermelo set theory
Zermelo set theory is an early axiomatic system for set theory, introduced by Ernst Zermelo to rigorously formalize the concept of sets and avoid known paradoxes.
-
E.
von Neumann–Bernays–Gödel set theory
Von Neumann–Bernays–Gödel set theory is an axiomatic set theory extending Zermelo–Fraenkel set theory by formally distinguishing between sets and classes, widely used in foundational studies of mathematics.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Aleph (mathematics) Target entity description: Aleph (mathematics) denotes the infinite cardinal numbers used in set theory to measure and compare the sizes of infinite sets.
-
A.
Zermelo–Fraenkel set theory
Zermelo–Fraenkel set theory is the standard axiomatic framework for modern set theory, designed to avoid paradoxes and provide a rigorous foundation for much of mathematics.
-
B.
Feferman–Schütte ordinal
The Feferman–Schütte ordinal is a large countable ordinal that marks the proof-theoretic strength of predicative arithmetic and analysis, serving as a key boundary in ordinal analysis and foundations of mathematics.
-
C.
Cantor’s theorem
Cantor’s theorem is a fundamental result in set theory stating that the power set of any set has a strictly greater cardinality than the set itself, implying there is no largest infinity.
-
D.
Zermelo set theory
Zermelo set theory is an early axiomatic system for set theory, introduced by Ernst Zermelo to rigorously formalize the concept of sets and avoid known paradoxes.
-
E.
von Neumann–Bernays–Gödel set theory
Von Neumann–Bernays–Gödel set theory is an axiomatic set theory extending Zermelo–Fraenkel set theory by formally distinguishing between sets and classes, widely used in foundational studies of mathematics.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
cardinal number symbol
ⓘ
mathematical notation ⓘ |
| alphabetOrigin | Hebrew letter aleph (ℵ) NERFINISHED ⓘ |
| appearsIn |
Zermelo–Fraenkel set theory
NERFINISHED
ⓘ
von Neumann–Bernays–Gödel set theory NERFINISHED ⓘ |
| assumes | axiom of choice (for well-ordering all sets) ⓘ |
| cardinalityExample |
|countable infinite set| = ℵ₀
ⓘ
|ℕ| = ℵ₀ ⓘ |
| cardinalityType | transfinite cardinal ⓘ |
| category |
mathematical symbol
ⓘ
set-theoretic concept ⓘ |
| contrastedWith |
beth numbers
NERFINISHED
ⓘ
ordinal numbers ⓘ |
| denotes | infinite cardinal numbers ⓘ |
| dependsOn | ordinal indexing α ⓘ |
| distinguishes | different infinite cardinalities ⓘ |
| domain | cardinal numbers ⓘ |
| field | set theory ⓘ |
| firstElement |
aleph-null
ⓘ
ℵ₀ NERFINISHED ⓘ |
| firstElementOfType | smallest infinite cardinal ⓘ |
| formalization | ℵ_α is the α-th infinite cardinal ⓘ |
| generalElementNotation | ℵ_α ⓘ |
| historicalPeriod | late 19th century mathematics ⓘ |
| introducedBy | Georg Cantor NERFINISHED ⓘ |
| namingConvention | ℵ₀, ℵ₁, ℵ₂, … ⓘ |
| notationFor | well-ordered infinite cardinals ⓘ |
| notationType | subscripted family of symbols ⓘ |
| notUsedFor | finite cardinals ⓘ |
| parameterizedBy | ordinal numbers ⓘ |
| relatedConcept |
cardinality of the natural numbers
ⓘ
cardinality of the real numbers ⓘ continuum hypothesis ⓘ generalized continuum hypothesis ⓘ |
| requires | well-ordering of sets to define sequence ℵ_α ⓘ |
| secondElement |
aleph-one
ⓘ
ℵ₁ ⓘ |
| standardIn | modern set theory textbooks ⓘ |
| symbolForm | ℵ ⓘ |
| usedFor |
comparing sizes of infinite sets
ⓘ
measuring sizes of infinite sets ⓘ |
| usedIn |
axiomatic set theory
ⓘ
cardinal arithmetic ⓘ transfinite numbers ⓘ |
| usedToExpress | hierarchy of infinite sizes ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Aleph (mathematics) Description of subject: Aleph (mathematics) denotes the infinite cardinal numbers used in set theory to measure and compare the sizes of infinite sets.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.