AI-created image
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiomatic system
|
| gptkbp:field |
gptkb:geometry
|
| gptkbp:formedBy |
gptkb:David_Hilbert
|
| gptkbp:groupedInto |
five groups
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's axioms
|
| gptkbp:influenced |
modern axiomatic method
|
| gptkbp:influencedBy |
gptkb:Euclid's_Elements
|
| gptkbp:introducedIn |
1899
|
| gptkbp:language |
gptkb:first-order_logic
|
| gptkbp:numberOfAxioms |
21
|
| gptkbp:publishedIn |
gptkb:Grundlagen_der_Geometrie
|
| gptkbp:purpose |
provide a complete and consistent foundation for Euclidean geometry
|
| gptkbp:relatedGroup |
axioms of congruence
axioms of continuity axioms of incidence axioms of order axioms of parallels |
| gptkbp:replacedBy |
gptkb:Euclid's_postulates
|
| gptkbp:significance |
addressed gaps in Euclid's original axioms
|
| gptkbp:usedIn |
gptkb:logic
foundations of mathematics |
| gptkbp:bfsParent |
gptkb:Grundlagen_der_Geometrie
|
| gptkbp:bfsLayer |
4
|