Анализируя структуру математического доказательства, как оно дается в "Началах" Евклида, Сабо приходит к выводу, что доказательство представляет собой способ удостоверения того или иного положения, которое не желают (или не могут) удостоверить с помощью наглядной демонстрации. Сабо допускает, что в более ранний период математики доказывали свои утверждения, демонстрируя доступную созерцанию фигуру, так что ядро доказательства составляла конкретная наглядная демонстрация; в основе доказательства, таким образом, лежала эмпирическая и наглядная очевидность. От такого рода доказательства Евклид, подчеркивает Сабо, отказался. При этом речь идет, как полагает Сабо, не о простом повороте от наглядных моделей к понятиям, а о "сознательном отказе от созерцательного (наглядного)", о сознательном избегании просто наглядного. В результате отказа от созерцания Евклид, говорит Сабо, прибегает к так называемому косвенному выводу - доказательству от противного. "Оба эти явления в греческой математике - отказ от эмпиризма и характерное использование косвенного вывода - я свожу к решающему влиянию философии элеатов"14, - пишет Сабо. Связь здесь вполне понятна: именно элеаты впервые последовательно проводят мысль о том, что истинное знание может быть получено только с помощью разума, а чувственное восприятие всегда недостоверно.

Мы совершенно согласны с Сабо в том отношении, что именно философия элеатов впервые положила начало логической рефлексии относительно важнейших понятий античной науки, и прежде всего математики. В этом смысле ее значение для развития античной науки трудно переоценить. Именно после критики элеатов начинается уяснение предпосылок греческой математики, которые у ранних пифагорейцев, как мы видели, еще оставались непроясненными. Именно после критики элеатов, впервые поставивших на обсуждение проблему бесконечности и связанную с ней проблему континуума (пространства, времени, движения), начинают складываться основные направления научной мысли Древней Греции.

Однако трудно согласиться с некоторыми выводами, которые делает Сабо, исходя из исследования роли элеатов в становлении античной науки. Так, например, анализируя первое определение VII книги "Начал" Евклида, где вводится понятие единицы (monЁV)15, Сабо приходит к заключению, что понятие monЁV могло появиться в античной математике только после элеатов. Он подчеркивает, что даже терминологически "сущее" (t' 'n) и "Одно" (t' Ьn) выступают у элеатов как взаимозаменяемые понятия. Но известно, что первое определение VII книги Евклида почти полностью воспроизводит рассуждение Пифагора о единице, как его передает Секст Эмпирик в книге "Против ученых" (Х, 260-261)16. И не только из сообщения Секста, но и из других сообщений древних известно, что понятие монады было одним из центральных в философии ранних пифагорейцев и что, стало быть, им пользовались еще до элеатов.

Поскольку, однако, Сабо усматривает в учении элеатов о едином источник и начало развития науки, он вынужден отрицать существенный вклад ранних пифагорейцев в развитие античной математики. "В каком смысле, - пишет он, - можно вообще говорить о "соперничестве" между элеатами и пифагорейцами (=арифметиками)? Как известно, элеаты допускали только существование "сущего", "Одного" и отрицали, что существует множество, ибо они считали, что можно доказать самопротиворечивость мышления также в понятии множества. Но если отрицается множество, то арифметика вообще невозможна. Следовательно, арифметики могли позаимствовать у элеатов понятие "единства", но они уже не могли вслед за элеатами отклонить множество; они должны были каким-то образом удержать множество, ибо без множества нет арифметики. И, в самом деле, второе определение арифметики у Евклида ("Начала", кн. VII, определение 2) спасает именно понятие множества благодаря тому, что оно гласит: "Число есть множество, составленное из единств (из монад - Щc monЁdwn)"17.

Согласно приведенному отрывку, арифметики-пифагорейцы могли позаимствовать у элеатов понятие единицы (монады), но не могли следовать за ними в отрицании множества, если хотели оставаться арифметиками. Зачем же, однако, было арифметикам заимствовать понятие монады у элеатов, когда это понятие уже было у ранних пифагорейцев, образовывавших число (множество) из единицы и беспредельного? И само определение числа как множества, составленного из монад (единиц, единств), - это его раннепифагорейское определение, которое приводится и Евклидом в его арифметических книгах.

Сабо сам пишет, что, признавая множество, пифагорейцы тем самым резко отличаются от элеатов; но было бы неверным, продолжает он, "говорить о их "соперничестве", так как арифметики ведь отнюдь не оспаривали элеатовское понятие "одного", они только развили его дальше..."18. В действительности, у самих "арифметиков" (т.