Якщо єгипетських землемірів задовольняло встановлення математичних правил, то Фалес прагнув обґрунтовувати їх шляхом доведення теорем. Нині відомо, що багато математичних правил були відкриті набагато раніше, ніж у Стародавній Греції, проте строго логічне доведення правильності тверджень на підставі загальних положень, прийнятих за достовірні істини, було винайдено греками. Характерна і зовсім нова риса грецької математики полягає в поступовому переході за допомогою доведення від одного твердження до іншого. Саме такий характер математиці був наданий Фалесом.