Континуум-гипотеза и теорема Скулема

[ervadi]

Как известно отрицание континуум-гипотезы не противоворечит ZFC.
Также известно, что согласно теореме Скулема, модель для теории
действительных чисел может иметь произвольно-большую мощность.
В нестандартном анализе континуум действительных чисел расширяют гипердействительными произвольной мощности.
А возможно представить(построить) нестандартные модели как модели
для которых континуум-гипотеза неверна, тогда как для стандартной - истинна?
Будет ли это доказательством что отрицание КГ следует из теоремы Скулема о повышении мощности?

[Deggial]

Тема перемещена из форума «Дискуссионные темы (М)» в форум «Математика (общие вопросы)»
Причина переноса: в соответствующий раздел