Statements (75)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Set
|
| gptkbp:developed_by |
gptkb:Georg_Cantor
Mathematical Proofs |
| https://www.w3.org/2000/01/rdf-schema#label |
Axiomatic Set Theory
|
| gptkbp:includes |
gptkb:Zermelo-Fraenkel_Set_Theory
Axiom of Choice |
| gptkbp:is_applied_in |
Computer Science
Mathematical Analysis |
| gptkbp:is_associated_with |
gptkb:Russell's_Paradox
Cantor's Theorem |
| gptkbp:is_based_on |
Axioms
|
| gptkbp:is_challenged_by |
Set-Theoretic Paradoxes
|
| gptkbp:is_characterized_by |
Axiomatic Systems
|
| gptkbp:is_connected_to |
gptkb:Infinity
gptkb:political_theory Mathematical Concepts Ordinal Numbers Cardinal Numbers Mathematical Proof Techniques |
| gptkbp:is_criticized_for |
Intuitionism
|
| gptkbp:is_described_as |
Textbooks
|
| gptkbp:is_discussed_in |
gptkb:Seminars
Conferences Mathematical Forums |
| gptkbp:is_examined_in |
Academic Journals
Research Institutions Mathematical Logic Academic Discourse Philosophical Texts Philosophical Discussions Mathematical Philosophy |
| gptkbp:is_explored_in |
gptkb:students
gptkb:philosopher Research Papers Mathematicians Graduate Studies Set Theory Literature |
| gptkbp:is_fundamental_to |
Discrete Mathematics
Mathematical Logic |
| gptkbp:is_influenced_by |
Constructivism
Formalism Mathematical Rigor Hilbert's Program Mathematical Intuition |
| gptkbp:is_part_of |
Formal Logic
Mathematical Foundations Mathematical Discourse Mathematical Logic Curriculum |
| gptkbp:is_reflected_in |
Mathematical Practice
|
| gptkbp:is_related_to |
gptkb:Logic
Model Theory Set Theory Foundations Set Operations Set-Theoretic Topology Set Theory Axioms Set-Theoretic Hierarchies |
| gptkbp:is_studied_in |
gptkb:Mathematics
|
| gptkbp:is_taught_in |
University Courses
|
| gptkbp:is_used_in |
gptkb:Mathematics
|
| gptkbp:is_used_to |
Analyze Mathematical Structures
Construct Mathematical Models Define Sets Establish Consistency Explore Mathematical Relationships |
| gptkbp:is_utilized_in |
Logical Reasoning
Algorithm Design Theoretical Computer Science Theoretical Research |
| gptkbp:issues |
Foundations of Mathematics
|
| gptkbp:provides |
Formal Framework
|
| gptkbp:bfsParent |
gptkb:Frank_W._Lawvere
gptkb:Abraham_Fraenkel gptkb:Zermelo-Fraenkel_Set_Theory gptkb:F._William_Lawvere |
| gptkbp:bfsLayer |
8
|