Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее. Там есть конструкции с ошибками, которые легко устраняются.
Xaositect
Re: Об аксиоме подстановки в ZF(C)
11.02.2017, 19:53
Где? Там в формулировке аксиомы подстановки говорится: "Каждая формула в формуализованном языке теории определяет аксиому [...]". То есть говорится не о теоретико-множественных функциях, а как раз о функциональных отношениях, задаваемых формулами.
alex_dorin
Re: Об аксиоме подстановки в ZF(C)
11.02.2017, 20:01
А.А. Френкель И. Бар-Хиллел Основания теории множеств М 2010 стр. 111 Об аксиоме подстановки : "Иными словам, если область определения однозначной функции есть множество, то и область ее значений также есть множество"Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее.
Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее. Построение различных предикатов для теоретико-множественных понятий средствами ZF, в том числе и утверждение : "F - функция с областью значения x и областью определения y"
arseniiv
Re: Об аксиоме подстановки в ZF(C)
11.02.2017, 20:12
Последний раз редактировалось arseniiv 11.02.2017, 20:14, всего редактировалось 1 раз.
Да, это утверждение выразимо в языке ZF. И?
-- Сб фев 11, 2017 22:14:54 --
Ситуация выглядит занятно: вы не вчитываетесь в то, что вам пишут, а остальным, наоборот, приходится угадывать, что скрывается за вашей исключительной краткостью. Какой цели, например, служит повтор того, что вы уже писали, неведомо.