0# или V=L

[ervadi]

Что за гипотеза в теории множеств 0# ?
Объясните пожалуйста, непонятно что за неразличимые формулы и кардиналы
возникают если она верна и к чему приводит существование неконструктивных множеств целых чисел.http://en.wikipedia.org/wiki/Ineffable_cardinal
Если гипотеза неверна то верна аксиома конструктивности.
https://en.wikipedia.org/wiki/Zero_sharp
А если гипотеза недоказуема?

[Deggial]

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