Об аксиоме подстановки в ZF(C)

[alex_dorin]

Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее.
Там есть конструкции с ошибками, которые легко устраняются.

[Xaositect]

Где? Там в формулировке аксиомы подстановки говорится: "Каждая формула $\alpha(x, y)$ в формуализованном языке теории определяет аксиому [...]". То есть говорится не о теоретико-множественных функциях, а как раз о функциональных отношениях, задаваемых формулами.

[alex_dorin]

А.А. Френкель И. Бар-Хиллел Основания теории множеств М 2010 стр. 111
Об аксиоме подстановки :
"Иными словам, если область определения однозначной функции есть множество, то и область ее значений также есть множество"Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее.

Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее.
Построение различных предикатов для теоретико-множественных понятий средствами ZF,
в том числе и утверждение : "F - функция с областью значения x и областью определения y"

[arseniiv]

Да, это утверждение выразимо в языке ZF. И?

-- Сб фев 11, 2017 22:14:54 --

Ситуация выглядит занятно: вы не вчитываетесь в то, что вам пишут, а остальным, наоборот, приходится угадывать, что скрывается за вашей исключительной краткостью. Какой цели, например, служит повтор того, что вы уже писали, неведомо.