Although it is not known whether or not Thales was the one who introduced into mathematics the logical structure that is so ubiquitous today, it is known that within two hundred years of Thales the Greeks had introduced logical structure and the idea of proof into mathematics.
على الرغم من أنه من غير المعروف ما إذا كان تاليس هو الشخص الذي أدخل إلى الرياضيات البنية المنطقية التي أصبحت موجودة في كل مكان اليوم ، فمن المعروف أنه في غضون مائتي عام من تاليس ، أدخل اليونانيون بنية منطقية وفكرة البرهان في الرياضيات.