Los
axiomas de Hilbert son un conjunto de 20 (originalmente 21) hipótesis propuestas por
David Hilbert en 1899 como el fundamento para un tratamiento moderno de la
geometría euclídea. Otras axiomatizaciones modernas bien conocidas de la geometría euclídea son las debidas a Alfred Tarski y a George Birkhoff.