Аксиоматика теории множеств — страница 2

  • Просмотров 4576
  • Скачиваний 40
  • Размер файла 77
    Кб

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

необходимых в математике классов и являются, достаточно скромными, чтобы из них нельзя было вывести противоречие). (Эта «интерпретация» столь же неточна, как и понятия «совокупность», «свойство» и т. д.) Назовем класс множеством, если он является элементом какого-нибудь класса. Класс, не являющийся множеством, назовем собственным классом. Определение. M(X) служит сокращением для Y(XY) (X есть множество). Определение. Pr(X) служит

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

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

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

истинно для всех множества, и x1 A (x1) будет служить сокращением для X (M(X)A (X)), что содержательно имеет смысл: «A истинно для некоторого множества». Заметим, что употребленная в этом определении переменная X должна быть отличной от переменных, входящих в A (x1). (Как и обычно, буквы х, y, z, ... будут употребляться для обозначения произвольных переменных для множеств.) П р и м е р. Выражение ХхyZA (X, х, y, Z) служит сокращением для ХXj (М(Xj)Y(M(Y)&ZA (X, Xj,