How to prove the unprovable?

Недоказуемые утверждения в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. По теореме Гёделя о неполноте в каждой достаточно сложной непротиворечивой теории имеется недоказуемое утверждение. Однако нахождение достаточно простых таких утверждений и доказательство их недоказуемости — достаточно сложная задача. Обобщённая континуум-гипотеза утверждает, что для любого бесконечного множества S не существует таких множеств, кардинальное число которых больше, чем у S, но меньше, чем у множества всех его подмножеств 2S. Обобщённая континуум-гипотеза также не противоречит аксиоматике Цермело-Френкеля, и, как показали Серпинский в 1947 г. и Шпеккер в 1952 г. , из неё следует аксиома выбора.

Значит это аксиома.

Is it for you or for other people?

Go you on;;;;;;We rasha

And it is necessary to you?