| |||
|
|
>ибо аксиома универсума В современном мире ее стараются избегать. Я по крайней мере если вижу в тексте универсумы, отношусь настороженно. Аксиоматика Цермело-Френкеля кстати устаревшее фуфло. Ее было заменили на нормальную, Геделя-Бернайса, с классами, но почему-то пошло вспять. Википедия пишет, что из-за форсинга (который по-нормальному надо все равно понимать через топосы, но пойди логикам объясни). Добавить комментарий: |
||||