| 30 |
В качестве программного вопроса можно поставить следующий: удастся ли построить вещественный анализ, не пользуясь АВ? Помимо анализа, можно было бы разжиться коллекцией чумовых фактов, эквивалентных АВ, такого сорта: для любых двух множеств существует инъекция из одного из них в другое. |
| 31 |
Проект рассчитан на людей, по меньшей мере уже знающих формулировки аксиомы выбора и теоремы Цермело, то есть не предназначен для первого знакомства с ними. |
| 32 |
Эта тема ждёт своего исследователя с 2019-20 года, а ещё можно привести своего руководителя, который разбирается в теме лучше чем я |