|
gptkbp:instanceOf
|
gptkb:academic
|
|
gptkbp:appliesTo
|
gptkb:philosophy
computer science
|
|
gptkbp:hasConcept
|
gptkb:declaration
gptkb:formal_semantics
gptkb:prop
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:Domain
gptkb:element
gptkb:intersection
gptkb:constant
gptkb:Union
gptkb:recursion
gptkb:ordinal_number
completeness
independence
semantics
consistency
logical connectives
variable
metamathematics
power set
quantification
bijection
injection
contradiction
decidability
proof
cardinal number
implication
logical inference
aleph-null
range
deduction
induction
equivalence
soundness
logical equivalence
complement
ordered pair
empty set
relation
subset
universal set
well-ordering
truth table
codomain
surjection
tautology
truth value
|
|
gptkbp:includes
|
gptkb:Russell's_paradox
gptkb:algebra
gptkb:logic
gptkb:set_theory
gptkb:cardinality
gptkb:Cantor's_theorem
gptkb:De_Morgan's_laws
gptkb:Zermelo-Fraenkel_set_theory
gptkb:naive_set_theory
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:model_theory
gptkb:set-theoretic_topology
computability theory
foundations of mathematics
proof theory
mathematical proofs
formal reasoning
|
|
gptkbp:bfsParent
|
gptkb:Abraham_Fraenkel
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Set Theory and Logic
|