Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Некто написал,
Здравствуйте, Михаил! А где можно найти пруфы этих утверждений из Вашей книжки по топологии? (Хочется разобрать и верифицировать.)

1) Непротиворечивость системы Цермело-Френкеля
с аксиомой равносильна непротиворечивости Цермело-Френкеля без нее.

2)Система аксиом Цермело-Френкеля без аксиомы выбора, но с за
висимым выбором (ZF+DC) достаточна для почти всех задач, где необходим
выбор, но недостаточна для утверждений 1-4, перечисленных
выше. Также она следует из аксиомы детерминированности.

Заранее спасибо!


(Читать комментарии)

Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed.