The Foundations of Geometry, by David Hilbert - Table of Links

Table of Links

1. The elements of geometry and the five groups of axioms
2. Group I: Axioms of connection
3. Group II: Axioms of Order
4. Consequences of the axioms of connection and order
5. Group III: Axiom of Parallels (Euclid’s axiom)
6. Group IV: Axioms of congruence
7. Consequences of the axioms of congruence
8. Group V: Axiom of Continuity (Archimedes’s axiom)

1. Compatibility of the axioms
2. Independence of the axioms of parallels. Non-euclidean geometry
3. Independence of the axioms of congruence
4.  Independence of the axiom of continuity. Non-archimedean geometry

1. Complex number-systems
2. Demonstration of Pascal’s theorem
3. An algebra of segments, based upon Pascal’s theorem
4. Proportion and the theorems of similitude
5. Equations of straight lines and of planes

1. Equal area and equal content of polygons
2. Parallelograms and triangles having equal bases and equal altitudes
3. The measure of area of triangles and polygons
4. Equality of content and the measure of area

1. Desargues’s theorem and its demonstration for plane geometry by aid of the axioms of congruence
2. The impossibility of demonstrating Desargues’s theorem for the plane without the help of the axioms of congruence
3. Introduction of an algebra of segments based upon Desargues’s theorem and independent of the axioms of congruence
4. The commutative and the associative law of addition for our new algebra of segments
5. The associative law of multiplication and the two distributive for the new algebra of segments
6. Equation of the straight line, based upon the new algebra of segments
7. The totality of segments, regarded as a complex number system
8. Construction of a geometry of space by aid of a
   desarguesian number system
9. Significance of Desargues’s theorem

1. Two theorems concerning the possibility of proving Pascal’s theorem
2. The commutative law of multiplication for an archimedean number system
3. The commutative law of multiplication for a non-archimedean number system
4. Proof of the two propositions concerning Pascal’s theorem. Non-pascalian geometry.
5.  The demonstration, by means of the theorems of Pascal and Desargues, of any theorem relating to points of intersection

1. Geometrical constructions by means of a straight-edge and a
   transferer of segments
2. Analytical representation of the co-ordinates of points which can be so constructed
3. The representation of algebraic numbers and of integral rational functions as sums of squares
4. Criterion for the possibility of a geometrical construction by means of a straight-edge and a transferer of segments