GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
axiomatic foundations of mathematics
URI:
https://gptkb.org/entity/axiomatic_foundations_of_mathematics
GPTKB entity
Statements (42)
Predicate
Object
gptkbp:instanceOf
gptkb:mathematical_concept
gptkbp:appliesTo
gptkb:algebra
gptkb:geometry
gptkb:logic
gptkb:topology
analysis
arithmetic
gptkbp:contrastsWith
constructivism
formal semantics
logicism
intuitionism
platonism
gptkbp:goal
ensure consistency
eliminate ambiguity in mathematics
enable formal proofs
gptkbp:hasComponent
axioms
rules of inference
theorems
undefined terms
gptkbp:historicalSignificance
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:Kurt_Gödel
gptkb:Euclid's_Elements
https://www.w3.org/2000/01/rdf-schema#label
axiomatic foundations of mathematics
gptkbp:notableWork
gptkb:Grundlagen_der_Mathematik
gptkb:Principia_Mathematica
gptkb:Introduction_to_Mathematical_Philosophy
gptkb:Foundations_of_Geometry
Metamathematics
gptkbp:purpose
provide rigorous basis for mathematics
gptkbp:relatedTo
gptkb:Gödel's_incompleteness_theorems
gptkb:Hilbert's_program
gptkb:Zermelo–Fraenkel_set_theory
gptkb:logic
gptkb:set_theory
gptkb:Peano_axioms
axiomatic system
gptkbp:studiedBy
gptkb:mathematician
philosophers of mathematics
gptkbp:bfsParent
gptkb:Reverse_Mathematics
gptkbp:bfsLayer
7