Общая теория множеств

Общая теория множества ( GST ) является Джордж Булос именем «s (1998) для фрагмента аксиоматической теории множеств Z . GST достаточен для всей математики, не требующей бесконечных множеств , и является самой слабой известной теорией множеств, теоремы которой включают аксиомы Пеано .

Онтология [ править ]

Онтология GST идентична онтологии ZFC и, следовательно, полностью канонична. GST имеет одно примитивное онтологическое понятие, понятие множества , и одно онтологическое предположение, а именно, что все индивиды во вселенной дискурса (следовательно, все математические объекты ) являются множествами. Существует простое примитивное бинарное отношение , установленное членство ; которые устанавливают является членом множества Ъ записывается в ∈ B ( как правило , следующим образом: « является элементом из Ь »).

Аксиомы [ править ]

Приведенные ниже символические аксиомы взяты из Boolos (1998: 196) и определяют поведение и взаимодействие множеств. Как и в случае с Z , фоновая логика для GST - это логика первого порядка с идентичностью . Действительно, GST - это фрагмент Z, полученный путем исключения аксиом Union , Power Set , Elementary Sets (по сути, Pairing ) и Infinity, а затем принятия теоремы Z, Adunction, в качестве аксиомы. Версии аксиом на естественном языке предназначены для помощи интуиции.

1) Аксиома расширяемости : множества x и y являются одним и тем же множеством, если они имеют одинаковые элементы.

${\ displaystyle \ forall x \ forall y [\ forall z [z \ in x \ leftrightarrow z \ in y] \ rightarrow x = y].}$

Обратное к этой аксиоме следует из подстановочного свойства равенства.

2) Схема аксиомы спецификации (или разделение, или ограниченное понимание ): если z является набором и является любым свойством, которому могут удовлетворять все, некоторые или никакие элементы z , то существует подмножество y из z, содержащее только эти элементы. x в z, которые удовлетворяют свойству . Ограничение на г необходимо , чтобы избежать парадокса Рассела и его варианты. Более формально, пусть будет любая формула на языке GST, в которой x может встречаться свободно, а y${\displaystyle \phi }$${\displaystyle \phi }$${\displaystyle \phi (x)}$не. Тогда все экземпляры следующей схемы являются аксиомами:

${\displaystyle \forall z\exists y\forall x[x\in y\leftrightarrow (x\in z\land \phi (x))].}$

3) Аксиома примыкания : Если х и у являются множествами, то существует множество ш , с примыканием по х и у , члены которого лишь у и члены х . ^[1]

${\displaystyle \forall x\forall y\exists w\forall z[z\in w\leftrightarrow (z\in x\lor z=y)].}$

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

Обсуждение [ править ]

Метаматематика [ править ]

Обратите внимание, что Спецификация - это схема аксиомы. Теория, данная этими аксиомами, не является конечно аксиоматизируемой . Монтегю (1961) показал, что ZFC не является конечно аксиоматизируемым, и его аргументы переносятся на GST. Следовательно, любая аксиоматизация GST должна включать хотя бы одну схему аксиом . Благодаря своим простым аксиомам, GST также невосприимчив к трем великим антиномиям наивной теории множеств : антиномия Рассела , Бурали-Форти и Кантора .

GST интерпретируем в алгебре отношений, потому что ни одна часть аксиомы GST не лежит в области действия более трех кванторов . Это необходимое и достаточное условие, данное в Tarski and Givant (1987).

Арифметика Пеано [ править ]

Установка φ ( x ) в разделении на x ≠ x и предположение, что область непуста, гарантирует существование пустого множества . Присоединение подразумевает, что если x - множество, значит, так оно и есть . При заданном примыкании можно продолжить обычное построение последовательных порядковых номеров из пустого набора , в котором натуральные числа определены как . См . Аксиомы Пеано . GST взаимно интерпретируем с арифметикой Пеано (таким образом, он имеет такую ​​же теоретико-доказательную силу, что и PA).${\displaystyle S(x)=x\cup \{x\}}$${\displaystyle \varnothing ,\,S(\varnothing ),\,S(S(\varnothing )),\,\ldots ,}$

Самый замечательный факт о ST (и, следовательно, GST) заключается в том, что эти крошечные фрагменты теории множеств дают начало такой богатой метаматематике. В то время как ST представляет собой небольшой фрагмент из хорошо известных канонических теорий множеств ZFC и НБГ , ST интерпретирует Робинсон арифметический (Q) так , что СТ наследует нетривиальную метаматематику из Q. Например, ST является существенно неразрешимым , так как Q является, и каждым соответствует Теория, теоремы которой включают аксиомы ST, также по существу неразрешима. ^[2] Это включает GST и все аксиоматические теории множеств, о которых стоит задуматься, при условии, что они непротиворечивы. Фактически, неразрешимость ST влечет неразрешимость логики первого порядка.с одной двоичной предикатной буквой. ^[3]

Q также неполно в смысле теоремы Гёделя о неполноте . Любая аксиоматизируемая теория, такая как ST и GST, теоремы которой включают аксиомы Q, также является неполной. Более того, непротиворечивость GST не может быть доказана внутри самого GST, если только GST не противоречит действительности.

Бесконечные наборы [ править ]

Для любой модели M ZFC набор наследственно конечных множеств в M будет удовлетворять аксиомам GST. Следовательно, GST не может доказать существование даже счетного бесконечного множества , то есть множества, мощность которого ₀ . Даже если бы GST действительно предоставлял счетно бесконечное множество, GST не смог бы доказать существование набора, мощность которого равна , потому что в GST отсутствует аксиома набора мощности . Следовательно, GST не может служить основанием для анализа и геометрии и слишком слаб, чтобы служить основой для математики .${\displaystyle \aleph _{1}}$

История [ править ]

Булос интересовался GST только как фрагмент Z , достаточно мощный, чтобы интерпретировать арифметику Пеано . Он никогда не задерживались над GST, только упоминания о нем кратко в нескольких работах , обсуждающих системы Фреге «s Grundlagen и Grundgesetze , и как они могут быть изменены , чтобы устранить парадокс Рассела . Система Aξ ' [δ ₀ ] в Tarski and Givant (1987: 223) по сути является GST со схемой аксиом индукции, заменяющей спецификацию , и с явным предположением о существовании пустого множества .

GST называется STZ в Burgess (2005), стр. 223. ^[4] Теория Берджесса ST ^[5] - это GST с пустым множеством, заменяющим схему аксиом спецификации . Буквы «ST» также встречаются в «GST» - это совпадение.

Сноски [ править ]

Ссылки [ править ]

• Джордж Булос (1999) Логика, логика и логика . Harvard Univ. Нажмите.
• Берджесс, Джон, 2005. Исправление Фреге . Princeton Univ. Нажмите.
• Ричард Монтегю (1961) «Семантическое замыкание и нефинитная аксиоматизируемость» в инфинистических методах . Варшава: 45-69.
• Альфред Тарский , Анджей Мостовски и Рафаэль Робинсон (1953) Неразрешимые теории . Северная Голландия.
• Тарски, А., Гивант, Стивен (1987) Формализация теории множеств без переменных . Провиденс, Род-Айленд: Публикации Коллоквиума AMS, т. 41.

Внешние ссылки [ править ]

• Стэнфордская энциклопедия философии : теория множеств - Томас Джех.