La escuela jónica, con Tales de Mileto (cuyo nombre lleva un importante teorema de geometría elemental, el Teorema de Tales), fue la primera en comenzar la deducción matemática, hacia el año 600 a. C.