Triple
T6929710
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cantor–Bernstein–Schröder theorem |
E160401
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object | Cantor's theorem |
E78328
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Cantor's theorem Context triple: [Cantor–Bernstein–Schröder theorem, relatedTo, Cantor's theorem]
-
A.
Cantor’s theorem
chosen
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.
-
B.
Cantor’s paradox
Cantor’s paradox is a foundational result in set theory showing that the “set of all sets” cannot exist because its power set would have a strictly larger cardinality, leading to a contradiction.
-
C.
Cantor–Bernstein–Schröder theorem
The Cantor–Bernstein–Schröder theorem is a fundamental result in set theory stating that if each of two sets can be injected into the other, then there exists a bijection between them, so the sets have the same cardinality.
-
D.
Burali-Forti paradox
The Burali-Forti paradox is a foundational logical contradiction in set theory that arises from considering the set of all ordinal numbers, showing that such a totality cannot consistently exist as a set.
-
E.
continuum hypothesis
The continuum hypothesis is a central conjecture in set theory proposing a specific relationship between the sizes of the set of real numbers and the set of natural numbers, famously shown to be independent of the standard axioms of mathematics.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c6884e15208190b9e91487eaafcf85 |
elicitation | completed |
| NER | batch_69c6da1f5fcc8190b43f53f90fc1821c |
ner | completed |
| NED1 | batch_69c7514774d88190af212d7953014703 |
ned_source_triple | completed |
Created at: March 27, 2026, 2:27 p.m.