[ES] Este trabajo aborda el método axiomático formal de David Hilbert, desde una primera manifestación en su obra Grundlagen der Geometrie, hasta una evolución más formal y cercana a la lógica. El objetivo que se pretende ...