Loading AI tools
Из Википедии, свободной энциклопедии
Система аксиом фон Неймана — Бернайса — Гёделя (NBG, аксиоматика Гёделя — Бернайса) в метаматематике — одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело — Френкеля с аксиомой выбора (ZFC). Предложения, сформулированные на языке теории ZFC, доказуемы в ZFC тогда и только тогда, когда они доказуемы в NBG.
Теория NBG дополнительно включает понятие собственного класса — объекта, имеющего элементы, но который сам не может быть элементом каких-либо объектов. NBG включает только такие определения понятий, которые не ссылаются на определяемое понятие; значения связанных переменных в формулах могут быть только множествами. Исключение этого принципа (отсутствие ссылок на определяемое понятие внутри определений) превращает систему NBG в систему Морза — Келли[англ.] (MK). NBG в отличие от ZFC и MK может быть конечно аксиоматизирована (конечным числом аксиом).
Принципиальным в NBG является различие между собственными классами и множествами. Пусть и — объекты. Тогда простое высказывание определено, если — множество, а — класс; иначе говоря, определено, если не является собственным классом. Классы могут быть очень большими, в NBG есть даже класс всех множеств, всеобщий класс, называемый . Однако, в NBG невозможно существование класса всех классов (так как собственный класс не может быть элементом класса) или множество всех множеств (его существование противоречит системе аксиом).
В системе аксиом NBG все объекты, удовлетворяющие всем данным формулам логики первого порядка NBG, образуют класс. Если класс не может удовлетворять системе аксиом ZFC, то он является собственным классом. Развитие классов отражает развитие наивной теории множеств. Принцип абстракции дан, а значит классы могут быть сформированы из всех объектов, удовлетворяющих всем предложениям логики первого порядка; причём простые предложения могут включать отношение принадлежности или предикаты, использующие это отношение. Равенство, операция образования пары элементов, подклассы и другие подобные понятия определяются и не требуют аксиоматизации — их определения означают конкретную абстракцию формулы. Множества описываются методом, близким к ZF. Определим (множество представляет класс ) — бинарное отношение, определяемое так
Это означает, что представляет , если все элементы принадлежат и наоборот. Классы, не имеющие представляющего их множества, называются собственными классами[1]. Примером собственного класса является класс всех множеств, которые не содержат самих себя (класс, апеллирующий к парадоксу Рассела).
Первый вариант NBG включал функции, а не множества, как базовые понятия (фон Нейман, 1920-е годы). В серии статей, опубликованных в 1937—1954 годах, Пол Бернайс изменил теорию фон Неймана, сделав множества и отношение принадлежности базовыми понятиями; он также обнаружил, что эту теорию можно аксиоматизировать конечным числом аксиом. Гёдель (1940) во время исследования независимости континуум-гипотезы упростил и использовал теорию. Монтегю показал, что ZFC не может быть конечно аксиоматизировано.
Ниже переменные, обозначаемые строчными буквами, обозначают множества, а переменные, обозначаемые заглавными буквами, — классы. Таким образом, обозначает, что множество принадлежит множества (является элементом множества ); а обозначает, что множество является элементом класса . Выражения , , обозначает, что (здесь мы не будем полностью соблюдать строгость с целью упрощения). При описании формальной системы мы могли бы пользоваться символами одного типа, при этом множества были бы классами, которые являются членами как минимум одного другого класса.
Сначала мы построим систему аксиом NBG с использованием схемы аксиом порождения классов (схема соответствует бесконечному набору аксиом). Эта схема эквивалентна 9 аксиомам[2]. Таким образом, эти 9 аксиом могут заменить схему порождения классов. Таким образом, NBG конечно аксиоматизируема.
Следующие 5 аксиом совпадают с соответствующими аксиомами ZFC
Следующие аксиомы описывают прежде всего свойства классов (и поэтому включают заглавные буквы). Первые две из них отличаются от аналогичных в ZFC только тем, что в них строчные буквы заменены заглавными.
Последние две аксиомы являются отличительной особенностью NBG.
Схема аксиом порождения подклассов — единственная схема в NBG. Ниже мы покажем, как эту схему можно заменить на ряд частных случаев, в результате чего NBG станет конечно аксиоматизируемой. Если связанные переменные в формуле смогут пробегать классы (а не только множества), то мы получим теорию множеств Морза — Келли, собственное расширение ZFC, которое не может быть конечно аксиоматизировано.
Привлекательная и несколько загадочная особенность NBG состоит в том, что схему порождения подклассов можно заменить на несколько аксиом, описывающих частные случаи. Нижеприведенные аксиомы могут полностью заменить схему порождения подклассов. Способ аксиоматизации, приведённой ниже, не обязательно совпадает с той, что можно найти в печатных источниках[5].
Мы опишем нашу аксиоматизацию путём описания структуры формул. Во-первых, нам необходимо иметь первоначальный запас классов.
Далее опишем способ, с помощью которого мы будем формировать выражения логики высказываний. Пусть и . Тогда , . Так как с помощью операций и можно записать любые выражения логики высказываний, нам достаточно определить дополнение и пересечение классов.
Теперь мы начнём двигаться в сторону включения кванторов в формулы. Для использования нескольких переменных необходимо уметь описывать отношения. Определим упорядоченную пару и как обычно: . Далее опишем аксиомы, использующие упорядоченные пары:
Эти аксиомы позволяют добавлять фиктивные аргументы, а также изменять порядок аргументов в отношениях любой арности. Особая форма ассоциативности разработана специально для того, чтобы можно было переносить любое выражение из списка в начало списка (разумеется, также с использованием перестановок). Мы представляем список аргументов как (то есть как пару голова (первый аргумент) и хвост (остальные аргументы)). Идея состоит в том, чтобы применять пока интересующий нас аргумент не станет вторым, затем применить или , а затем применять пока не нивелируется использование .
Далее мы хотим аксиоматизировать следующий набор утверждений: если — класс, представляющий собой отношение, то его область значений — это класс.
Таким образом мы получили квантор существования; квантор всеобщности можно будет получить через квантор существования и отрицание. Приведённые выше аксиомы позволяют нам передвинуть аргумент в начало списка аргументов, чтобы применить к нему квантор.
Наконец, каждая простая формула подразумевает существование следующих отношений на классах:
Диагональный класс вместе с возможностью перестановки аргументов и добавления фиктивных аргументов позволяет подставлять одинаковые аргументы в отношения.
Мендельсон ссылается на свои аксиомы B1 — B7 как на аксиомы существования классов. Четыре из них совпадают с приведёнными выше: B1 — принадлежность; B2 — пересечение; B3 — дополнение; B5 — умножение. B4 — область значений приведена в форме существования области определения (квантор существования стоит у , а не у ). Последние две аксиомы следующие:
B6 и B7 позволяют сделать то, что в нашем случае делалось с помощью аксиом перестановок и ассоциативности. Для каждого класса, содержащего тройки, существует другой класс, содержащий те же тройки, в которых одинаковым способом переставлены элементы.
Ознакомиться с философскими и онтологическими вопросами, вызванными NBG, особенно в связи с различиями с ZFC и MK можно в приложении C книги Potter (2004).
Несмотря на то, что NBG является расширением ZFC, некоторые теоремы могут более просто элегантно доказываться в NBG, чем в ZFC (или наоборот). Для обзора известных результатов в этой области см. Pudlak (1998).
ZFC, MK, NBG имеют модель, определяемую с использованием (стандартная модель в ZFC и универсум в NBG). Теперь пусть включает недостижимое кардинальное число . Обозначим определяемые подмножества . Тогда
Система понятий NBG позволяет говорить о больших объектах без риска наткнуться на парадокс. В частности, во многих трактовках теории категорий под большой категорией подразумевается категория, где набор объектов является собственным классом, как и набор морфизмов. Малые категории, с другой стороны, — это категории, где наборы объектов и морфизмов являются множествами. Поэтому мы можем без риска парадоксов говорить о категории всех множеств или категории всех малых категорий. Эти категории, разумеется, большие. Но нельзя говорить о категории всех категорий, так как она должна была бы включать категорию всех малых категорий. Однако существуют другие расширения систем понятий, которые позволяют говорить о наборе всех категорий как категории (см. о квазикатегории всех категорий в Adámek et al. (1990)).
Системы понятий, включающей классы и множества, достаточно для обоснования теории категорий (Muller, 2001).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.