Всеми этими успехами математика обязана исключительно принципу бесконечного. В этом его научно методологическая ценность и в этом же его трансцендентально-логическое значение. В области математики он осуществляет тот же самый систематический мотив, который в логике приводит принцип изначала. Вернее, он есть не что иное, как этот самый принцип, облеченный в математическую форму и примененный к математическому бытию. Вот почему ему присущи функции подлинно систематического начала: порождения многообразия элементов из единого источника (дифференциал, как закономерная основа непрерывных величин) и объединения их в одном завершенном в себе целом (интеграл, как совокупность членов ряда). В этом смысле принцип бесконечного действительно «созидает» реальность математического объекта, т. е. конституирует понятие числа как объективно необходимого и автономного (т. е. обладающего своей собственной закономерностью) образования научного мышления.
Итак, мы видим, что анализ методологической структуры математического принципа бесконечного приводит нас обратно к его логическому источнику: к принципу изначала. Да иначе и быть не может. Если логика чистого познания избрала своим лозунгом ориентирование на точной науке, то это относится прежде всего к математике. И потому именно математическое понятие бесконечного послужило образцом для логической формулировки принципа изначала.
Эти общие выводы, вытекающие из анализа понятия бесконечного, не изменятся по существу, а получат еще новое подтверждение, если мы рассмотрим знание с другой точки зрения, которая обыкновенно считается исключительною принадлежностью так называемой формальной логики: с точки зрения практикуемого математикой образования понятий. И в этом вопросе расходятся взгляды античности и нового времени. Согласно традиционному учению логики, восходящему к Аристотелю, общие понятия, которыми оперирует наука, представляют результат сравнения сходных между собой предметов, выделения общих им признаков и отвлечения от их индивидуальных различий. Эта абстракционная теория в самом корне эмпиристична. Она предполагает существование внешних объектов как самодовлеющую данность, и ставит логический акт образования понятий в безусловную зависимость от их воздействия на познающего субъекта. К математике как к чисто конструктивной науке, не опирающейся в своих построениях на непосредственные данные опыта, абстракцционная теория применима только с большой натяжкой. В области арифметики, например, она способна объяснить разве только возникновение понятия целых рациональных конечных чисел. Уже при объяснении отрицательных и дробных чисел она наталкивается на непреодолимые затруднения. Но с полною очевидностью обнаруживается ее логическое бессилие при сопоставлении с такими математическими понятиями, какими по преимуществу орудует современная математика. Ведь в эмпирической действительности нельзя указать ничего такого, что было бы адекватно или представляло хотя бы малейшее сходство с мнимыми и иррациональными числами, дифференциалом или интегралом и т. д. Тем не менее, вплоть до последнего времени эмпиристические предубеждения настолько прочно держались в научном мышлении, что и математики и логики отказывались признавать за этими новыми разновидностями понятия числа такое же объективное значение, такой же реальный смысл, как за целыми рациональными числами, и рассматривали их, как чисто условные символы, которые, правда, пригодны для математических операций, но которые при переводе математических формул на язык действительности утрачивают всякую значимость.
Однако при такой концепции числа остается совершенно непонятным и загадочным, почему реальный смысл математических символов внезапно испаряется, как только мы переступаем границу конечных рациональных чисел, тогда как переходы от одной группы чисел к другим совершаются по имманентным им законам, без всяких скачков, с нигде не нарушаемою непрерывностью. Непонятно также, каким образом эти математические символы, лишенные реального смысла, могут служить точным выражением таких объективных явлений, какие представляют собою пространство, движение в пространстве и т. п. Все эти по существу неразрешимые недоумения возникают, конечно, только в том случае, если исходить из эмпиристического взгляда абстракционной теории, по которому все вообще математические операции в конечном итоге сводятся к счету данных мышлению извне предметов.