... Эти выводы следующие: 1) доказательство счетности счетного объединения счетных ординалов не может быть прямо или индуктивно перенесено на его первое предельное w w -объединение; 2) w w представляется первым несчетным ординалом с мощностью эквивалентным мощности континуума; 3) последующие восходящие w -степени ординала w w , то есть w w ^ w , w w ^( w ^ w) , ... , соответствуют последующим А 2 , А 3 , А 4 , ... кардиналам; 4) отсюда также следует прямое обоснование континуум-гипотезы. ...