нужно просто понять, что
Аксиома выбора утверждает, что, если мы имеем собрание множеств, из которых каждое содержит по крайней мере один элемент, тогда существует множество, которое содержит в точности один элемент, выбранный в каждом из отправных допустимых множеств, что позволяет утверждать существование определенных множеств без их явного задания.
Совместимость аксиомы выбора и обобщенной гипотезы континуума с теорией множеств возводит нас на уровень рассуждения по поводу теории, то есть на уровень метатеории (именно таков статус семиотического рассуждения), метатеоремы которой были определены Геделем.
Эта констатация близка к констатации Геделя, касающейся невозможности установления противоречивости системы при помощи средств, формализуемых в самой этой системе.
Совместимость аксиомы выбора и обобщенной гипотезы континуума с теорией множеств возводит нас на уровень рассуждения по поводу теории, то есть на уровень метатеории (именно таков статус семиотического рассуждения), метатеоремы которой были определены Геделем.
Эта констатация близка к констатации Геделя, касающейся невозможности установления противоречивости системы при помощи средств, формализуемых в самой этой системе.