| 1:29a |
Множество промежуточной мощности
Вопрос имею.
Известно, что континуум-гипотеза, т.е., утверждение о том, что между мощностью счётного множества и мощность континуума не существует промежуточных мощностей, не следует из остальных аксиом теории множеств и последняя теория вполне может быть построена в противоположном предположении, что такие мощности имеются.
Вопрос: как сконструировать такое множество, на отрезке [0; 1] например? |