логической точки зрения не допускают обоснования, да и не нуждаются в нем», можно без всякой примеси опыта вывести всю чистую математику, а затем применить ее к миру, – точно так же он воображает, что он в состоянии сначала создать из головы основные формы бытия, простые элементы всякого знания, аксиомы философии, из них вывести всю философию, или мировую схематику, и затем высочайше октроировать эту свою конституцию природе и человечеству. К сожалению, природа вовсе не состоит из мантёйфелевских пруссаков 1850 года[40], а человечество состоит из них лишь в самой ничтожной части.
Математические аксиомы представляют собой выражения крайне скудного умственного содержания, которое математике приходится заимствовать у логики. Их можно свести к следующим двум:
1. Целое больше части. Это положение является чистой тавтологией, ибо взятое в количественном смысле представление «часть» уже заранее относится определенным образом к представлению «целое», а именно так, что «часть» непосредственно означает, что количественное «целое» состоит из нескольких количественных «частей». От того, что так называемая аксиома вполне определенно это констатирует, мы ни на шаг не подвинулись вперед. Эту тавтологию можно даже до известной степени доказать, рассуждая так: целое есть то, что состоит из нескольких частей; часть есть то, что, будучи взято несколько раз, составляет целое; следовательно, часть меньше целого, – причем пустота содержания еще резче подчеркивается пустотой повторения.
2. Если две величины порознь равны третьей, то они равны между собой. Как доказал уже Гегель, это положение представляет собой заключение, за правильность которого ручается логика[41], – которое, стало быть, доказано, хотя и вне области чистой математики. Прочие аксиомы о равенстве и неравенстве представляют собой только логическое развитие этого заключения.
На этих тощих положениях ни в математике, ни где бы то ни было в другой области далеко не уедешь. Чтобы подвинуться дальше, мы должны привлечь реальные отношения, отношения и пространственные формы, отвлеченные от действительных тел. Представления о линиях, поверхностях, углах, многоугольниках, кубах, шарах и т. д. – все они отвлечены от действительности, и нужна изрядная доза идеологической наивности, чтобы поверить математикам, будто первая линия получилась от движения точки в пространстве, первая поверхность – от движения линии, первое тело – от движения поверхности и т. д. Даже язык восстает против этого. Математическая фигура трех измерений называется телом, corpus solidum по-латыни, следовательно – даже осязаемым телом, и, таким образом, она носит название, взятое отнюдь не из свободного воображения ума, а из грубой действительности.
Но к чему все эти пространные рассуждения? После того как г-н Дюринг на страницах 42 и 43[42] вдохновенно воспел независимость чистой математики от эмпирического мира, ее априорность, ее оперирование