La presentación tradicional de la geometría euclidiana se hace en un formato axiomático, en el que todos los teoremas («declaraciones verdaderas») derivan de un pequeño número de axiomas.