axiomatic foundations of mathematics

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:appliesTo	gptkb:analysis gptkb:algebra gptkb:geometry gptkb:logic gptkb:topology arithmetic
gptkbp:contrastsWith	gptkb:formal_semantics gptkb:constructivism 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
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:axiomatic_system gptkb:Peano_axioms
gptkbp:studiedBy	gptkb:mathematician philosophers of mathematics
gptkbp:bfsParent	gptkb:Reverse_Mathematics
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	axiomatic foundations of mathematics