Statements (88)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:appliesTo |
gptkb:philosophy
computer science |
| gptkbp:hasConcept |
gptkb:Gödel's_incompleteness_theorems
gptkb:Titan gptkb:continuum_hypothesis gptkb:mathematical_concept gptkb:model gptkb:software gptkb:syntax gptkb:Peano_axioms gptkb:box_set gptkb:intersection completeness formal semantics independence semantics declaration consistency logical connectives prop variable Union metamathematics power set quantification recursion Domain bijection injection contradiction decidability element proof cardinal number implication logical inference ordinal number aleph-null range deduction induction equivalence soundness logical equivalence complement ordered pair empty set relation subset universal set well-ordering truth table constant codomain surjection tautology truth value |
| https://www.w3.org/2000/01/rdf-schema#label |
Set Theory and Logic
|
| gptkbp:includes |
gptkb:Russell's_paradox
gptkb:algebra gptkb:logic gptkb:set_theory gptkb:Cantor's_theorem gptkb:De_Morgan's_laws gptkb:Zermelo-Fraenkel_set_theory gptkb:naive_set_theory cardinality paradoxes predicate logic quantifiers infinity functions relations proof techniques |
| gptkbp:relatedTo |
gptkb:logic
gptkb:mathematics gptkb:set_theory |
| gptkbp:studiedIn |
gptkb:mathematics
|
| gptkbp:usedFor |
gptkb:set-theoretic_topology
computability theory foundations of mathematics model theory proof theory mathematical proofs formal reasoning |
| gptkbp:bfsParent |
gptkb:Abraham_Fraenkel
|
| gptkbp:bfsLayer |
6
|