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.
Mặc dù không được biết có phải Thales hay là một người khác đã giới thiệu toán học như một môn học của logic mà bây giờ ở đâu cũng có, có một điều được biết rằng 2000 năm trước Thales đã giới thiệu những cấu trúc logic và những ý tưởng về bằng chứng vào trong toán học.