Where I can find the Pythagorean theorem deduced from Hilbert's axioms?

382 Views Asked by At

Hilbert took years to make a rigorous revision and formalization of Euclidean geometry in his Foundations of Geometry. As he intended to organize only the most basic aspects of the theory, he didn't write about things like the Pythagorean Theorem or the sum of the angles of a triangle. He would say "it is easily deduced from the previous theorems." Even though it can be easy I don't seem to find any book where there is the Euclidean geometry presented as in the Euclid's Elements, but using Hilbert's axioms.

What I mean is: Is there an Elements of geometry as Euclid's, but deduced from Hilbert's rigorous axiomatic?

1

There are 1 best solutions below

1
On BEST ANSWER