2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Об аксиоме подстановки в ZF(C)
Сообщение11.02.2017, 19:48 
Расева Сикорский Математика метаматематики М 1972 стр. 229 и далее.
Там есть конструкции с ошибками, которые легко устраняются.

 
 
 
 Re: Об аксиоме подстановки в ZF(C)
Сообщение11.02.2017, 19:53 
Аватара пользователя
Где? Там в формулировке аксиомы подстановки говорится: "Каждая формула $\alpha(x, y)$ в формуализованном языке теории определяет аксиому [...]". То есть говорится не о теоретико-множественных функциях, а как раз о функциональных отношениях, задаваемых формулами.

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

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

 
 
 
 Re: Об аксиоме подстановки в ZF(C)
Сообщение11.02.2017, 20:12 
Да, это утверждение выразимо в языке ZF. И?

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

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

 
 
 [ Сообщений: 19 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group