axiomatique de Hilbert

  • Système de vingt-sept axiomes pour la géométrie euclidienne.