Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:paradox
set-theoretic paradox |
| gptkbp:addressedTo |
gptkb:axiom_of_regularity
gptkb:axiom_of_separation |
| gptkbp:alsoKnownAs |
Russell's antinomy
|
| gptkbp:category |
gptkb:logic
foundations of mathematics |
| gptkbp:describes |
contradiction in naive set theory
|
| gptkbp:discoveredBy |
gptkb:Bertrand_Russell
|
| gptkbp:discoveredIn |
1901
|
| gptkbp:example |
the barber paradox
|
| gptkbp:formulatedAs |
the set of all sets that do not contain themselves
|
| https://www.w3.org/2000/01/rdf-schema#label |
Russell's Paradox
|
| gptkbp:influenced |
gptkb:logic
gptkb:Zermelo-Fraenkel_set_theory development of axiomatic set theory |
| gptkbp:publishedIn |
gptkb:Principia_Mathematica
|
| gptkbp:relatedTo |
gptkb:logic
gptkb:mathematics gptkb:set_theory |
| gptkbp:bfsParent |
gptkb:Axiomatic_Set_Theory
|
| gptkbp:bfsLayer |
7
|