Хаос и структура

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

Именно, центральная идея доказательства сводится вот к чему. Предполагая вначале, что данное множество неупорядоченно, мы берем его в виде всех его частей (уже тут, конечно, содержится petitio principii[29], потому что раз множество расчленимо на несколько различных частей, то это значит, что оно вполне упорядочено, но — не будем настаивать на этом). В каждой такой части выбираем произвольно какой–нибудь элемент, который мы называем «отмеченным» элементом этой части (опять операция, возможная только при условии, что множество уже мыслится вполне упорядоченным, но — не будем настаивать и на этом). Далее следует самое интересное. Цермело называет «–частью» всякую часть рассматриваемого общего множества, такую, которая вполне упорядочена при помощи этого отмеченного элемента (тут опять указанное выше petitio principii, но — простим и это прегрешение), а именно: если а есть любой элемент этой –части, А — определенный им отрезок, —А—дополнительная часть к А до данного общего множества, то для этой —А отмеченным элементом оказывается как раз а. Вот это и есть основание всего доказательства. Грубо говоря, мы берем произвольно любой элемент из данного множества и на нем строим ориентацию в отношении всего множества. Ведь как можно вообще ориентироваться в том, что неразличимо? Нужно схватиться за какую–нибудь любую точку в этой неразличимости и в отношении этой точки ориентировать все прочие. Мы как бы чиркаем спичку в темной комнате и этим освещаем все, что в ней находится. Платон бы сказал: если есть что–нибудь одно, то это значит, что есть все. Ничего другого Цермело не высказывает в употреблении и в самом понятии своей «–части». Уже только одного «отмеченного» элемента достаточно, чтобы мы знали и весь отрезок (отрезком, который определен через элемент а, в теории множеств называется множество всех элементов, порядки которых ниже порядка а), и все, чего не хватает в данном отрезке по сравнению со всем первоначальным множеством, т. е. чтобы «–часть» была вполне упорядочена. Мы берем, следовательно, любой элемент из данного множества, становимся на нем как на некоей твердой точке и с него смотрим вперед и назад и во все стороны, озирая и сравнивая все, что во множестве вообще находится. Это и есть — и у Цермело, и по существу — единственный принцип упорядочения вообще; и конечно, во всяком множестве с необходимостью мыслится такая ориентация.

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

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