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

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

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

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

Сообщества

Настроить S2

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



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

> Где-то ещё утверждали, что не пользуетесь теорией множеств.

Там же:
https://lj.rossia.org/users/tiphareth/1761692.html?thread=104800156#t104800156

> ZFC и дальнейшая иерархия определений - это всё, что есть у меня

О какой иерархии идет речь?

> Вы можете предложить что-то взамен? (Метод рассуждения и что-то подобное.

Взамен есть формальные теории, отвязанные от теоретико-множественного контекста.


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

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