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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Untitled[ред. код]

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