Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:concerns |
completeness
independence consistency axioms logical structure |
| gptkbp:fieldOfStudy |
gptkb:geometry
|
| gptkbp:goal |
clarify logical dependencies
eliminate hidden assumptions provide rigorous basis for geometry |
| gptkbp:historicalSignificance |
development of non-Euclidean geometry
publication of Hilbert's axioms (1899) |
| https://www.w3.org/2000/01/rdf-schema#label |
Foundations of geometry
|
| gptkbp:includes |
gptkb:geometry
gptkb:Euclidean_geometry noncommutative geometry metric geometry affine geometry incidence geometry ordered geometry |
| gptkbp:notablePerson |
gptkb:Alfred_Tarski
gptkb:David_Hilbert gptkb:Euclid gptkb:Giuseppe_Peano gptkb:Moritz_Pasch |
| gptkbp:notableWork |
gptkb:Euclid's_Elements
gptkb:Hilbert's_Grundlagen_der_Geometrie |
| gptkbp:relatedTo |
gptkb:logic
gptkb:set_theory model theory axiomatic systems |
| gptkbp:bfsParent |
gptkb:Euclid's_postulates
|
| gptkbp:bfsLayer |
5
|