2014 dxdy logo

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

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
01/01/18 20:50 UTC: Перешли на HTTPS в тестовом режиме. О проблемах пишите в ЛС cepesh.



Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Аксиомы Цермело-Френкеля и понятие предиката
Сообщение30.03.2015, 21:52 
Заслуженный участник
Аватара пользователя


27/04/09
21658
Уфа
Anton_Peplov в сообщении #998183 писал(а):
Ну, "не входит в стандартный набор" - возможно, слишком сильное выражение. Но Куратовский и Мостовский доказывают все основные теоремы без нее. Френкель и Бар-Хиллел ее, кажется, даже не упоминают (и уж точно не вносят в список необходимых в ZF(C) аксиом). Коэн говорит, что включает ее в список аксиом "по техническим причинам".
Да, без аксиомы регулярности, разумеется, можно, но с ней как-то привычнее. Для нужд математики множества $a$, для которых $a\in\ldots\in a$, как-то не особо нужны.

Anton_Peplov в сообщении #998183 писал(а):
Ох. Со всех сторон мне говорят, что я не разобрался в теме, и никто не может сказать, что же прочитать, чтобы разобраться.
Увы. Но вот, смотрите, AGu книгу показал! Ну и некоторые из ваших вопросов тоже получили здесь какой-то ответ (который всегда можно прокомментировать, если что-то не так).

 Профиль  
                  
 
 Re: Аксиомы Цермело-Френкеля и понятие предиката
Сообщение30.03.2015, 22:10 
Заслуженный участник
Аватара пользователя


20/08/14
5175
arseniiv в сообщении #998197 писал(а):
Ну и некоторые из ваших вопросов тоже получили здесь какой-то ответ (который всегда можно прокомментировать, если что-то не так).


Попросить прокомментировать можно, но в пределах разумного объема. А то, комментарий за комментарием, тут требуемая книга и напишется.

 Профиль  
                  
 
 Re: Аксиомы Цермело-Френкеля и понятие предиката
Сообщение30.03.2015, 23:22 
Заслуженный участник
Аватара пользователя


27/04/09
21658
Уфа
Стремление к лаконичности убило точность. :-) Я имел в виду, что вы прокомментируете что-то непонятное из ответов, если они не удовлетворили, чтобы можно было сделать следующую итерацию, если она вам на фоне книги, конечно, понадобится.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 18 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group