Фридрих Энгельс - Анти-Дюринг

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

1. Целое больше части. Это положение является чистой тавтологией, ибо взятое в количественном смысле представление «часть» уже заранее относится определенным образом к представлению «целое», а именно так, что «часть» непосредственно означает, что количественное «целое» состоит из нескольких количественных «частей». Оттого, что так называемая аксиома вполне определенно это констатирует, мы ни на шаг не подвинулись вперед. Эту тавтологию можно даже до известной степени доказать, рассуждая так: целое есть то, что состоит из нескольких частей; часть есть то, что, будучи взято несколько раз, составляет целое; следовательно, часть меньше целого, – причем пустота содержания еще резче подчеркивается пустотой повторения.

2. Если две величины порознь равны третьей, то они равны между собой. Как доказал уже Гегель, это положение представляет собой заключение, за правильность которого ручается логика [42], – которое, стало быть, доказано, хотя и вне области чистой математики. Прочие аксиомы о равенстве и неравенстве представляют собой только логическое развитие этого заключения.

На этих тощих положениях ни в математике, ни где бы то ни было в другой области далеко не уедешь. Чтобы подвинуться дальше, мы должны привлечь реальные отношения, отношения и пространственные формы, отвлеченные от действительных тел. Представления о линиях, поверхностях, углах, многоугольниках, кубах, шарах и т. д. – все они отвлечены от действительности, и нужна изрядная доза идеологической наивности, чтобы поверить математикам, будто первая линия получилась от движения точки в пространстве, первая поверхность – от движения линии, первое тело – от движения поверхности и т. д. Даже язык восстает против этого. Математическая фигура трех измерений называется телом, corpus solidum по-латыни, следовательно – даже осязаемым телом, и, таким образом, она носит название, взятое отнюдь не из свободного воображения ума, а из грубой действительности.

Но к чему все эти пространные рассуждения? После того как г-н Дюринг на страницах 42 и 43 [43]вдохновенно воспел независимость чистой математики от эмпирического мира, ее априорность, ее оперирование продуктами свободного творчества и воображения ума, он на странице 63 заявляет:

«Легко упускают из виду, что эти математические элементы (число, величина, время, пространство и геометрическое движение) идеальны только по своей форме… Абсолютные величины, какого бы рода они ни были, представляют собой поэтому нечто совершенно эмпирическое»… Однако «математические схемы допускают такую характеристику, которая обособлена от опыта и тем не менее является достаточной», что более или менее применимо ко всякой абстракции, но вовсе не доказывает, что последняя абстрагирована не из действительности. В мировой схематике чистая математика возникла из чистого мышления; в натурфилософии она – нечто совершенно эмпирическое, взятое из внешнего мира и затем обособленное. Чему же мы должны верить?

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

Так говорит г-н Дюринг. Математический метод, согласно которому «всякий вопрос должен быть решаем аксиоматически на простых основных формах, как если бы дело шло о простых… принципах математики», – этот метод применен здесь впервые.

«Всеобъемлющее бытие единственно». Если тавтология, простое повторение в предикате того, что уже было высказано в субъекте, – если это составляет аксиому, то мы имеем здесь аксиому чистейшей воды. В субъекте г-н Дюринг говорит нам, что бытие охватывает все, а в предикате он бесстрашно утверждает, что в таком случае ничто не существует вне этого бытия. Какая колоссальная «системосозидающая идея»!