История изменений

Про континуум-гипотезу - суть такова: это нельзя установить, пользуясь средствами «наивной» теорией множеств; можно тупо поверить, что его нет или что оно есть (объявив сей факт аксиомой), если поверить что есть - толку никакого, так как его не выйдет как-то конкретно описать (если бы можно было бы описать, не надо было бы принимать на веру). И вообще в абстрактной теории множеств такое бывает, что можно доказать существование какой-нибудь удивительной хреновины, обладающей какими-нибудь интересными/полезными свойствами, но при этом не объяснив толком, откуда она возьмётся и как устроена.

Про континуум-гипотезу - суть такова: это нельзя установить, пользуясь средствами «наивной» теорией множеств; можно тупо поверить, что его нет или что оно есть (объявив сей факт аксиомой), если поверить что есть - толку никакого, так как его не выйдет как-то конкретно описать (если бы можно было бы описать, не надо было бы принимать на веру). И вообще в абстрактной теории множеств такое бывает, что можно доказать существование какой-нибудь хреновины, удовлетворяющей какому-нибудь интересному/полезному свойству, но при этом не объяснив толком, откуда она возьмётся и как устроена.