История изменений
Исправление Manhunt, (текущая версия) :
невозможно получить общий способ конструирования множества со следующим кардиналом, имея множество с предыдущим?
А конструкция вида X_{n+1}=2^{X_n} разве не конструктивная? Мне кажется, шаг индукции для нее не сложно написать.
Исходная версия Manhunt, :
невозможно получить общий способ конструирования множества со следующим кардиналом, имея множество с предыдущим?
А конструкция вида X_{n+1}=2^{X_n} разве не конструктивная?