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

Развивающееся искусство счета с необходимостью приводит, в конце концов, к понятию о бесконечно большом множестве. Каково бы ни было число сосчитанных предметов, можно прибавить еще один предмет, и счет приведет к большему числу; количество чисел может таким образом увеличиваться неограниченно, превосходя любое заданное число.

Данный предмет, данную линейку можно разделить на любое число равных частей, каждую часть можно подвергнуть новому делению, неограниченно его продолжая. Это приводит к частям, число которых может быть сделано больше любого заданного числа, и сами части становятся сколь угодно малыми.

Бесконечно большие и бесконечно малые появляются в процессе измерения. Чтобы найти отношения, скажем, двух отрезков, нужно отыскать их общую меру, то есть отрезок, содержащийся в каждом из них целое число раз; а для этого нужно меньший отрезок отложить на большем столько раз, сколько уложится; если получится остаток, то его нужно откладывать на меньшем отрезке, второй же остаток на первом и т. д.; остаток, который отложится в предыдущем целое число раз и представляет собой общую меру наших отрезков. Этот прием, известный под названием последовательного деления, был известен уже в глубокой древности, причем уже пифагорейцы знали, что он не всегда приводит к цели, то есть возможны случаи, когда последовательное деление никогда не даст остатка, откладывающегося целое число раз в предыдущем; такой случай имеет, например, место, когда мы ищем отношение диагонали квадрата к его стороне. В таком случае число последовательных делений становится бесконечно большим, а последовательные остатки – бесконечно малыми.

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

Анаксимен ввел абстракцию «бесконечного количества». Сама абстракция «количества» возникает из процессов сравнения и измерения, а «бесконечное количество» означает, что этот процесс нельзя довести до конца. Но у нас совершенно нет основания утверждать, что Анаксимен понимал действительное значение введенной им абстракции, и даже более того, мы не можем утверждать, что он сталкивался когда-либо с невозможностью довести процесс измерения или деления до конца и связывал с этими случаями абстракцию бесконечного. Вероятнее всего, что введенная им абстракция выражала все тот же известный всем философам факт, что у первоначала не может быть границы.

Связь абстракции бесконечного с процессами измерения, последовательного деления и счета явственно выступает впервые у Зенона, философа элеатской школы. В своей апории «дихотомия» он показал процесс деления, который никогда не может быть доведен до конца. Сущность его рассуждения заключается в следующем. Пусть необходимо пройти отрезок АВ=а. Но очевидно, что, прежде чем пройти АВ, надо пройти половину его АВ_>1=a/2. Но прежде чем пройти АВ_>1, надо пройти половину его АВ_>2=а/4 и т. д., и т. д.:

Рис. 1

Таким образом, получается бесконечное количество отрезков, которое надо было пройти за конечный промежуток времени, а это казалось Зенону невозможным. Нам здесь важен тот момент, что процессы повторного деления привели Зенона к необходимости ввести если не формально, то, во всяком случае, по существу абстракции «бесконечно большого» количества и «бесконечно малой» величины. «Зенон доказывает, что если существует множественное, то оно и велико и мало; оно настолько велико, что множественное бесконечно по своему количеству. ‹…› Оно так мало, что не имеет величины» (Симплиций)