泰勒斯(公元前624—公元前547)在数学方面划时代的贡献是引入了命题证明的思想。它标志着人们对客观事物的认识从经验上升到理论,这在数学史上是一次不寻常的飞跃。在数学中引入逻辑证明,它的重要意义在于:保证了命题的正确性;揭示各定理之间的内在联系,使数学构成一个严密的体系,为进一步发展打下基础;使数学命题具有充分的说服力,令人深信不疑。他的论证、推理,使得数学更加有理论上的严密性和应用上的广泛性。