Seguramente el primer escrito, que conocemos, concebido de una manera formalizada, según unas leyes previamente establecidas de razonamiento lógico, es la fundamental obra de Euclides, "Elementos", siglo IV a.