Welcome guest
You're not logged in.
305 users online, thereof 0 logged in

Hilbert's Axiomatic System

As introduced in Historical Development of Geometry, the work Elements of Euclid (about 0325 BC – about 0265 BC) was a milestone in the development of the axiomatic method and mathematics as a whole, but Euclid’s axiomatic system was very vague with respect to the definitions of the mathematical objects “points”, “lines” and “planes”. It depended on the intuitive understanding of these objects.

David Hilbert (1862 – 1943) developed a more modern axiomatic system, and his key idea was to detach “points”, “lines” and “planes” from real-world objects. He did so at the cost of the relatively high number of $21$ axioms as compared to only $5$ axioms in the “Elements”.

In this chapter, we will introduce these axioms and derive theorems from them. These theorems and conclusions are today the standard way to establish the theory of Euclidean geometry. Hilbert grouped his axioms into the following groups and we will follow his approach:

| | | | created: 2014-02-20 23:21:02 | modified: 2019-12-26 13:24:28 | by: bookofproofs | references: [8324]

1.Axioms of Connection and Their Consequences

2.Axioms of Order and Their Consequences

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[8324] Hilbert, David: “Grundlagen der Geometrie”, Leipzig, B.G. Teubner, 1903