"Двойственная теорема Кантора-Бернштейна"
"Двойственная теорема Кантора-Бернштейна":
если есть наложение из множества A в B
и другое наложение из B в A, то они
равномощны.

Зависит ли она от аксиомы выбора?
Обычная теорема Кантора-Бернштейна
(с вложениями) не зависит, но вывести
из нее двойственную теорему мне удалось
только используя аксиому выбора.

Ну и еще задача (вот отсюда из комментов):
можно ли без аксиомы выбора доказать,
что \R равномощно факторгруппе \R/\Q?

Привет