FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM
- Cite this article as:
- Plato, J.V. Synthese (1997) 110: 127. doi:10.1023/A:1004959405270
- 62 Downloads
Three things are presented: How Hilbert changed the original construction postulates of his geometry into existential axioms; In what sense he formalized geometry; How elementary geometry is formalized to present day's standards.