НГУ

Форумы НГУ
Текущее время: Вс окт 20, 2019 9:08 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Вопрос по логике
СообщениеДобавлено: Ср май 26, 2004 8:27 pm 
Не в сети
Частый гость

Зарегистрирован: Чт май 22, 2003 7:33 am
Сообщения: 72
Откуда: Semyon Dyatlov
Выводима ли в ZFC формула
Изображение
и выводимо ли ее отрицание?

_________________
Semyon Dyatlov


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср май 26, 2004 9:16 pm 
В ZFC (даже в ZF) выводимо отрицание этой формулы.

Предположим, что A = \cup A и A \neq \emptyset.
Тогда по аксиоме регулярности имеем конечную
цепочку \emptyset \in a_1 \in ... \in a_k \in A.

Получаем A = \cup \cup ... \cup A и \emptyset \in A.


Вернуться к началу
  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 7 часов


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

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


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

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB