Hilbert tomó años para hacer una rigurosa revisión y formalización de la geometría Euclidiana en Fundamentos de la Geometría. Como tenía la intención de organizar sólo los aspectos más básicos de la teoría, él no escribir acerca de cosas como el Teorema de Pitágoras o la suma de los ángulos de un triángulo. Él decía: "eso es fácil deducir de los anteriores teoremas." Aunque puede ser fácil no me parecen encontrar cualquier libro donde no es la geometría Euclidiana presenta como en la de Euclides y sus Elementos, pero el uso de los axiomas de Hilbert.
Lo que quiero decir es: ¿hay Elementos de geometría de Euclides, pero deducir de Hilbert rigor de la axiomática?
