Os Elementos de Euclides têm uma importância excepcional na história das matemáticas. Com efeito, não apresentam a geometria como um mero agrupamento de dados desconexos, mas antes como um sistema lógico. As definições, os axiomas, os postulados e os teoremas não aparecem agrupados ao acaso, mas antes expostos numa ordem perfeita. Cada teorema resulta das definições, dos axiomas e dos teoremas anteriores, de acordo com uma demonstração rigorosa. Segundo Euclides, é exemplo de postulado: