3. Отсюда три формулированные выше аксиомы самотождественного различия могут быть выражены еще и таким образом.

Арифметическое число есть такая совокупность элементов, в которой каждая часть подчинена соответствующему элементу и целое в точности равняется сумме своих частей.

Геометрическая величина есть такая совокупность элементов, в которой каждый элемент подчинен соответствующей части и сумма частей не равняется целому, но сумма эта сама определяет для себя самостоятельно свое целое.

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

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

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

2. Множество как целое меньше всех своих частей и, следовательно, меньше и каждой правильной своей части, потому что целое вмещается в сумме своих частей и часть содержит в себе целое (целое помещается в каждой части).

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

Только диалектика может понять и совместить эти взаимно противоречащие утверждения.

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

Множество τ называется частью множества φ, если всякий элемент τ принадлежит к φ. При этом если τ часть φ, но φ не часть τ, то τ — правильная часть φ; если же φ часть тих часть φ, то τ — неправильная часть φ. Относительно правильной части вопроса не возникает. Но что такое «неправильная» часть? Ведь, в сущности говоря, когда φ и τ являются одно в отношении другого частями, то это возможно только в одном случае, а именно когда они эквивалентны, т. е. попросту когда φ и τ суть разные названия для одного и того же множества, так как все их элементы в этом случае совершенно одинаковы. Но тогда под «неправильной частью» множества можно понимать, очевидно, только совокупность всех неперекрывающих одна другую частей, из которых и состоит данное множество. Утверждая, что все элементы τ принадлежат φ, мы выделяем из φ некоторую определенную часть, соответствующую элементам τ, но когда мы к этому прибавляем, что также и все элементы φ принадлежат к τ, то мы из τ вырезаем определенную часть соответственно элементам φ, т. е. в результате мы начинаем эти вырезанные из φ и τ части считать всеми частями и φ, и τ, вполне соответственными входящим в это единое множество элементам.

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

с) Но даже если брать термин «множество всех частей» в специфическом теоретико–множественном значении, то и тут дело не обойдется без антиномии, хотя формулировать ее можно иначе. А именно, «целое» и «часть» могут находиться в диалектическом противоречии только тогда, когда они рассматриваются в качестве чистых понятий (как это и сделано у нас выше), т. е. когда эти понятия сами являются самостоятельным субъектом со своей собственной судьбой, или самостоятельным организмом, а не обладают только лишь инструментальным характером, не оказываются только лишь средством, которое употребляет какой–то другой субъект («человек») для целей осмысления чуждого инобытия. Как чистое инобытие смысла есть его становление, т. е. его бесконечное распыление, так чистый смысл есть восстановление инобытия, т. е. его бесконечная собранность. Так «движение» есть инобытие «покоя». Но если движение совершается с бесконечной скоростью, то движущееся сразу находится во всех точках бесконечности; и так как дальше бесконечности уже нет никаких других точек (поскольку всех их она уже вместила в себе), то такое движение с бесконечной скоростью вполне тождественно с покоем. Поэтому диалектика отличается от прочих способов рассмотрения понятий тем, что она берет эти понятия как бесконечные сгустки бытия, как пределы. А в математике только там воочию видна диалектика, где идет речь о бесконечности, так как конечные величины хотя и подчинены диалектической антиномике, но последняя в них не выявлена непосредственно, а только с необходимостью предполагается при достаточно систематическом подходе.

Итак, «множество всех частей» множества должно с необходимостью и воочию выявить антиномику целого и частей в том случае, если будем оперировать с бесконечным множеством. И действительно. Пусть мы имеем множество φ всех вещей. Поскольку множество χ всех частей этого множества своею мощностью выше этого последнего, постольку множество φ эквивалентно только части множества т. Но из чего состоит х? τ состоит все из тех же вещей, из каких и φ, т. е. всякий элемент χ есть и элемент φ. А это значит, по указанному выше определению части, что χ эквивалентно некоторой части φ. Но если φ и χ эквивалентны частям друг друга, то, опять–таки по указанному выше, и сами φ и χ эквивалентны. Итак: φ и χ и эквивалентны, и неэквивалентны. х, как множество всех частей φ, не эквивалентно φ; но так как φ есть множество всех вещей, то никакое χ не может его превзойти, и, будучи столь же бесконечным, оно совпадает с φ.