Properties (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiomatic system
|
| gptkbp:aimsTo |
provide a solid foundation for geometry
|
| gptkbp:appliesTo |
geometry
|
| gptkbp:composedOf |
20 axioms
|
| gptkbp:developedBy |
gptkb:David_Hilbert
|
| gptkbp:hasInventor |
philosophy of mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's axioms
|
| gptkbp:includes |
parallel postulate
|
| gptkbp:influencedBy |
Euclidean geometry
|
| gptkbp:isActiveIn |
historical context
|
| gptkbp:isAssociatedWith |
gptkb:Hilbert_space
the concept of completeness the development of proof theory |
| gptkbp:isCitedIn |
research articles
mathematical literature |
| gptkbp:isConnectedTo |
mathematical rigor
|
| gptkbp:isConsidered |
a benchmark for axiomatic systems
a foundational work in mathematics a model for axiomatic systems a pivotal work in geometry |
| gptkbp:isCriticizedFor |
non-Euclidean_geometry
|
| gptkbp:isDiscussedIn |
academic papers
mathematical conferences mathematical seminars |
| gptkbp:isExaminedBy |
philosophical discussions
mathematical philosophy mathematical logic courses mathematical reviews historical mathematics studies |
| gptkbp:isExploredIn |
philosophical texts
geometry textbooks |
| gptkbp:isInfluencedBy |
modern mathematics
19th-century mathematics the field of mathematical foundations |
| gptkbp:isInformedBy |
formal language
|
| gptkbp:isLinkedTo |
the development of logic
the concept of axiomatic truth |
| gptkbp:isPartOf |
gptkb:Hilbert's_foundations_of_geometry
mathematical logic the history of mathematics the curriculum of geometry |
| gptkbp:isReflectedIn |
gptkb:Hilbert's_program
the structure of mathematical theories modern axiomatic approaches |
| gptkbp:isRelatedTo |
set theory
axiomatic set theory formalism in mathematics the study of consistency |
| gptkbp:isStudiedIn |
mathematics education
|
| gptkbp:isTaughtIn |
university courses
|
| gptkbp:isUsedBy |
mathematicians
prove geometric theorems develop geometric intuition |
| gptkbp:isUsedIn |
computer science
formal proofs |
| gptkbp:publishedIn |
Foundations_of_Geometry
|
| gptkbp:replacedBy |
Euclid's axioms
|