2. а) Во–первых, часть может быть подчиненной элементу, т. е. целое может в точности равняться сумме своих частей. Другими словами, здесь сначала даются различия смысловые, а потом механически примыкают к ним различия фактические, инобытийные. Вернее, сначала проводятся различия смысловые, потом оказывается, что это же и есть различия инобытийные. Таково арифметическое число. Здесь по смыслу дается столько–то элементов (или единиц); и тут же оказывается: столько имеется и частей, т. е. столько же имеется различий и по факту, по инобытию; иначе выражаясь, сумма частей и есть все целое, целое в точности равняется сумме своих частей. Это возможно только тогда, когда дан смысл без инобытия, т. е. абстрактный смысл. Тут целое в полном смысле слова делимо на свои части, но возможно это только в том случае, если первоначальные различия установлены как чисто смысловые, а инобытийные только следуют за этими, не привнося ничего нового.
b) Во–вторых, отношение между элементами и частью может быть обратное, а именно элемент может быть подчинен части и целое — сумме своих частей. Это возможно, очевидно, когда вся система переходит в инобытие. Тут мы забываем о смысловых различиях и сначала даем волю инобытийным различиям. Когда установилась та или другая система инобытийных различий, т. е.
та или иная система частей, мы, не производя никаких специально смысловых различий, только фиксируем смысловым образом то, что получилось в результате инобытийных различий, и этим ограничиваемся. Такова система отношений в геометрической совокупности. Здесь, забывши о том, что такое чистая и абстрактная единица, чистая и абстрактная двойка, тройка и т. д., мы отдаемся во власть инобытийного раздробления, нагромождая путем бесконечного дробления одну часть на другую, а потом, выбравши то или иное взаимоотношение частей, которое получилось в результате инобытийного становления, фиксируем его как таковое, и — получается точка, линия, плоскость и пр. Здесь элементы (смысловые акты) следуют за своим инобытием, элементы следуют за частями. Может ли здесь целое равняться сумме своих частей? Очевидно, нет, но сумма частей образует здесь свое целое, независимое от того первоначального и абстрактного целого, из которого мы исходили. Целое есть везде—и в арифметике, и в геометрии. Но в арифметике оно равняется сумме своих частей, и сумма эта всецело им определена. В геометрии же целое перешло в инобытие, и потому оно уже не зависит от себя, но определено своим инобытием, т. е. суммой своих частей. В арифметике целое равно сумме своих частей, а в геометрии сумма частей равна своему (своему собственному) целому.
[с)] Наконец, в–третьих, между частью и элементом может быть полное равновесие, и целое может ровно в такой же мере быть подчиненным сумме своих [23]частей, как и обратно сумма частей — целому. Это происходит во множествах следующим образом. Здесь инобытие продолжает определять смысловую значимость элементов и сумма частей продолжает определять собою целое. Но это целое оказывается уже не чем–то противоположным первоначальному целому и инобытийным в отношении к числу, но оно оказывается ровно в той же мере чисто смысловой структурой, как и само арифметическое число, лишаясь того противостояния смысла и факта, которым инобытие как раз и отличалось от чистого смысла. В чистом смысле, мы знаем, нет положенное™ различия между бытием и инобытием; инобытие тут есть также бытие, оно определяет собою различие внутри бытия же, нисколько не мешая ему быть бытием, а только делая его внутренно раздельным. В инобытии же самая яркая особенность — это разрыв между смысловым бытием и алогическим инобытием и их несовпадение во всех существенных пунктах. Так вот, во множестве и оказывается снова снятой и уничтоженной эта противоположность бытия и инобытия, уничтожен это разрыв и снова восстановлена простота и неинобытийность чистого числа. Конечно, это с сохранением (теперь уже.смысловым сохранением) той инобытийной регулировки, которая была достигнута на стадии примата частей над элементами, инобытия смысла над самим смыслом. Тут, стало быть, мы находим подчинение целого сумме частей, но сама сумма здесь такова, что она ничем не отличается от чисто смысловой структуры целого. Целое окунулось в инобытие, но не рассыпалось на бесчисленные части, что сулило ему это инобытие, а только вобрало их в себя смысловым образом, получило вместо абстрактной значимости фигурную разрисовку, но не перестало быть чистым смыслом.
3. Отсюда три формулированные выше аксиомы самотождественного различия могут быть выражены еще и таким образом.
Арифметическое число есть такая совокупность элементов, в которой каждая часть подчинена соответствующему элементу и целое в точности равняется сумме своих частей.
Геометрическая величина есть такая совокупность элементов, в которой каждый элемент подчинен соответствующей части и сумма частей не равняется целому, но сумма эта сама определяет для себя самостоятельно свое целое.
Множество есть такая совокупность элементов, в которой каждый элемент и соответствующая часть находятся в полном равновесии, так что целое хотя и не равняется сумме частей, но эта последняя образует из себя как раз то самое целое, которое перешло в сумму частей.
4. а) Относительно множества также может быть выставлен ряд положений, с полной очевидностью вытекающих из этой аксиомы и являющихся, собственно говоря, лишь иным ее выражением, хотя для математиков здесь лежат неимоверные трудности и парадоксы.
1. Множество как целое больше своей части и, следовательно, больше всех своих частей, потому что целое хотя и состоит из частей, но содержит в себе и то, чего нет ни в одной части.
2. Множество как целое меньше всех своих частей и, следовательно, меньше и каждой правильной своей части, потому что целое вмещается в сумме своих частей и часть содержит в себе целое (целое помещается в каждой части).
3. Множество как целое равно и каждой своей части, и сумме всех своих частей, потому что целое состоит только из своих частей, и больше не из чего, и данные части составляют именно это целое, и больше ничего.
Только диалектика может понять и совместить эти взаимно противоречащие утверждения.
b) Хотя внимательный читатель и вполне понимает, что указанные положения относительно множеств обладают чисто логическим характером, тем не менее во избежание недоразумений надо сказать, что в математике самый термин «множество всех частей» имеет совсем другой смысл, а именно тут имеются в виду все части независимо от их взаимного перекрытия, гак что мощность множества всех частей множества всегда больше мощности этого последнего (напр., мощность множества всех частей счетного множества есть даже мощность континуума). Однако и без этого теория множеств не брезгует выражениями, указывающими, несомненно, на антиномию целого и части.
Множество τ называется частью множества φ, если всякий элемент τ принадлежит к φ. При этом если τ часть φ, но φ не часть τ, то τ — правильная часть φ; если же φ часть тих часть φ, то τ — неправильная часть φ. Относительно правильной части вопроса не возникает. Но что такое «неправильная» часть? Ведь, в сущности говоря, когда φ и τ являются одно в отношении другого частями, то это возможно только в одном случае, а именно когда они эквивалентны, т. е. попросту когда φ и τ суть разные названия для одного и того же множества, так как все их элементы в этом случае совершенно одинаковы. Но тогда под «неправильной частью» множества можно понимать, очевидно, только совокупность всех неперекрывающих одна другую частей, из которых и состоит данное множество. Утверждая, что все элементы τ принадлежат φ, мы выделяем из φ некоторую определенную часть, соответствующую элементам τ, но когда мы к этому прибавляем, что также и все элементы φ принадлежат к τ, то мы из τ вырезаем определенную часть соответственно элементам φ, т. е. в результате мы начинаем эти вырезанные из φ и τ части считать всеми частями и φ, и τ, вполне соответственными входящим в это единое множество элементам.
