Обговорення:Континуум-гіпотеза

Untitled ред.

Стер згадки про канторову та неканторову теорію множин (такого розділу немає). Переформулював узагальнену континуум-гіпотезу так, щоб вона узгоджувалась із теоремою Серпінського. Річ у тому, що у відсутності аксіоми вибору поняття "не менше" і "більше-рівне" для кардиналів - різні. І теорема Серпінського вірна лише при другому формулюванні (у моделі ZF+AD+DC   та   є непорівняними для всіх альф). — Це написав, але не підписав користувач 178.136.243.44 (обговореннявнесок) 00:38, 23 вересня 2013.

Повернутися до сторінки «Континуум-гіпотеза»