Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
paradox
|
| gptkbp:associated_with |
ordinal numbers
|
| gptkbp:can_be |
axiomatic set theory
|
| gptkbp:criticalReception |
the need for rigorous definitions
|
| gptkbp:designedBy |
gptkb:Giuseppe_Burali-Forti
|
| gptkbp:exhibits |
inconsistency in naive set theory
the limitations of naive set theory the existence of contradictions in certain axiomatic systems |
| gptkbp:explores |
advanced mathematics courses
|
| gptkbp:has_a_focus_on |
theoretical mathematics
|
| gptkbp:has_implications_for |
mathematical logic
foundations of mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Burali-Forti paradox
|
| gptkbp:is_a |
gptkb:Russell's_paradox
logical paradox self-reference |
| gptkbp:is_a_place_for |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:is_a_subject_of |
set theory
infinite sets mathematical education philosophical debate philosophical logic mathematical philosophy the study of infinity mathematical research. discussions of paradoxes in mathematics |
| gptkbp:is_designed_to |
early 20th century
|
| gptkbp:is_essential_for |
philosophy of mathematics
mathematical consistency the development of set theory |
| gptkbp:is_featured_in |
the need for careful definitions in mathematics
|
| gptkbp:is_referenced_in |
academic literature
|
| gptkbp:is_studied_in |
various mathematicians
mathematical structures the evolution of mathematical thought |
| gptkbp:is_used_in |
gptkb:Cantor's_paradox
mathematical logic axiomatic systems mathematical textbooks formal systems discussions of set theory |
| gptkbp:isConnectedTo |
the concept of sets
|
| gptkbp:issues |
the philosophy of mathematics
the set of all ordinals |
| gptkbp:keyEvent |
mathematical foundations
|
| gptkbp:notableEvent |
self-referential paradoxes
the challenges of infinity in mathematics |
| gptkbp:notableFeature |
the history of mathematics
|
| gptkbp:previousName |
gptkb:Giuseppe_Burali-Forti
|
| gptkbp:promotes |
infinity
|
| gptkbp:related_to |
gptkb:Cantor's_theorem
|
| gptkbp:relatedTo |
set theory
|
| gptkbp:significantEvent |
theoretical computer science
|