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.
Meskipun tidak diketahui apakah Thales atau bukan yang pertama memperkenalkan struktur logika ke dalam matematika, yang saat ini menjadi hal yang berlaku di manapun, tetapi diketahui bahwa di dalam dua ratus tahun sesudah kematian Thales bangsa Yunani memperkenalkan struktur logika dan gagasan pembuktian ke dalam matematika.