Введение

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

§1. Система аксиом

Опишем теорию первого порядка NBG, которая в основном является системой того же типа, что и система, предложенная первоначально фон
Нейманом [1925], [1928], а затем тщательно пересмотренная и упрощенная Р.
Робинсоном [1937], Бернайсом [1937—1954] и Гёделем [1940]. (Будем в основном следовать монографии Гёделя, хотя и с некоторыми важными отклонениями.) Теория NBG имеет единственную предикатную букву [pic] и не имеет ни одной функциональной буквы или предметной константы. Чтобы быть ближе к обозначениям Бернайса [1937—1954] и Гёделя [1940], мы будем употреблять в качестве переменных вместо x1, x2, … прописные латинские буквы X1, Х2, ... (Как обычно, мы используем буквы X, Y, Z, ... для обозначения произвольных переменных.) Мы введем также сокращенные обозначения Х[pic]Y для[pic](X, Y) и X[pic]Y для [pic][pic](X, Y).
Содержательно знак [pic] понимается как символ отношения принадлежности.

Следующим образом определим равенство:

Определение. Х=Y служит сокращением для формулы [pic].

Таким образом, два объекта равны тогда и только тогда, когда они состоят из одних и тех же элементов.

Определение. [pic] служит сокращением для формулы [pic](включение).

Определение. X[pic]Y служит сокращением для Х [pic] Y & X ? Y
(собственное включение).

Из этих определений легко следует

Предложение 1.

(а) [pic] Х = Y [pic] (X [pic] Y & Y [pic] X);

(b) [pic] Х = Х;

(с) [pic] Х = Y [pic]Y = Х;

(d) [pic] Х = Y [pic] (Y = Z [pic]Х = Z);

(е) [pic] Х = Y [pic] (Z[pic]X [pic] Z[pic]Y).

Теперь приступим к перечислению собственных аксиом теории NBG, перемежая формулировки самих аксиом различными следствиями из них и некоторыми дополнительными определениями. Предварительно, однако, отметим, что в той «интерпретации», которая здесь подразумевается, значениями переменных являются классы. Классы — это совокупности, соответствующие некоторым, однако отнюдь не всем, свойствам (те свойства, которые фактически определяют классы, будут частично указаны в аксиомах. Эти аксиомы обеспечивают нам существование необходимых в математике классов и являются, достаточно скромными, чтобы из них нельзя было вывести противоречие). (Эта «интерпретация» столь же неточна, как и понятия
«совокупность», «свойство» и т. д.)

Назовем класс множеством, если он является элементом какого-нибудь класса. Класс, не являющийся множеством, назовем собственным классом.

Определение. M(X) служит сокращением для [pic]Y(X[pic]Y) (X есть множество).

Определение. Pr(X) служит сокращением для [pic] M(X) (X есть собственный класс).

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

Система NBG задумана как теория, трактующая о классах, а не о предметах. Мотивом в пользу этого послужило то обстоятельство, что математика не нуждается в объектах, не являющихся классами, вроде коров или молекул. Все математические объекты и отношения могут быть выражены в терминах одних только классов. Если же ради приложений в других науках возникает необходимость привлечения «неклассов», то незначительная модификация системы NBG позволяет применить ее равным образом как к классам, так и к «неклассам» (Мостовский [1939]).

Мы введем строчные латинские буквы x1, x2, … в качестве специальных, ограниченных множествами, переменных. Иными словами, [pic]x1 A (x1) будет служить сокращением для [pic]X (M(X)[pic]A (X)) , что содержательно имеет следующий смысл: «A истинно для всех множества, и [pic]x1 A (x1) будет служить сокращением для [pic]X (M(X)[pic]A (X)), что содержательно имеет смысл: «A истинно для некоторого множества». Заметим, что употребленная в этом определении переменная X должна быть отличной от переменных, входящих в A (x1). (Как и обычно, буквы х, y, z, ... будут употребляться для обозначения произвольных переменных для множеств.)

П р и м е р. Выражение [pic]Х[pic]х[pic]y[pic]ZA (X, х, y, Z) служит сокращением для

[pic]Х[pic]Xj (М(Xj)[pic][pic]Y(M(Y)&[pic]ZA (X, Xj, Y, Z))).

Поделитесь этой записью или добавьте в закладки