Об аксиоме пары в аксим.теор множеств по Френкелю, Бар-Хиллу

[alex_dorin]

На стр 329 русского издания книги Френкель , Бар-Хиллел Основания теории множеств приведена аксиома пары, которая не позволяет
получить аксиому пары, приведенную, например, в книге Мостовского Конструктивные множества и их приложения.
Я пытался получить этот вывод прувером Vampire 4.0 и другими, но, безрезультатно.
Как понимать тогда аксиому пары по Френкелю, Бар-Хиллелу ?

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: кому охота искать неведомую книжку и искать там формулу, если её можно набрать прямо в теме

alex_dorin
Впишите формулу, написанную по ссылке, сюда, буковками с клавиатуры, пожалейте своих читателей.
Наберите все формулы и термы $\TeX$ом.
Каждая формула целиком заключается в одну пару долларов, внутри формул никаких долларов не нужно.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.