Объемности аксиома

- одна из аксиом теории множеств, утверждающая равенство двух множеств, если они содержат одни и те же элементы: [img: http://localhost:8080/file/031603-185.jpg] В языке, не содержащем символа равенства и имеющем только один предикатный символ [img: http://localhost:8080/file/031603-186.jpg], О. а. имеет вид [img: http://localhost:8080/file/031603-187.jpg]. Для формализации математики в системе Цермело - Френкеля ZF О. а. не имеет существенного значения. Все, что может быть построено в рамках системы ZF, может быть формализовано в системе без О. а. Пусть ZF-- система ZF, получающаяся из ZF удалением О. а. и заменой в остальных аксиомах формул вида u = v на формулу [img: http://localhost:8080/file/031603-188.jpg] Тогда можно показать, что существует интерпретация системы ZF в ZF-. Аналогичное утверждение справедливо и для теории типов. Для системы NF Куайна, получающейся из теории типов "стиранием" типовых индексов, положение меняется: в системе NF- невозможно интерпретировать систему NF. Система NF- (NF без О. а.) довольно слабая теория, ее непротиворечивость доказуема в формальной арифметике. В то время как система NF не слабее теории типов с аксибмой бесконечности.