Дошедшие до нас тексты древнегреческого ученого Фалеса из Милета, позволяют считать его первым философом, который использовал в математике дедуктивный метод и доказательства. Именно Фалес доказал равенство углов при основании равнобедренного треугольника, равенство вертикальных углов, один из признаков равенства треугольников, равенство частей, на которые диаметр разбивает круг, и другие геометрические утверждения. Метод логического доказательства математических утверждений Фалеса был всесторонне развит и усовершенствован учеными пифагорейцами в конце VI в. – середине V в. до н.э.