Ниже привожу подробное рассуждение, которое приводит к следующему выводу: при определённых условиях можно сформулировать непротиворечивую формальную систему S, в которой доказывается утверждение P («Любая система, содержащая наблюдателя O, способного верифицировать P, не может содержать доказательства собственной когерентности без коллапса в парадокс Рассела»).
Мы рассмотрим рассуждение шаг за шагом:
─────────────────────────────
Шаг 1. Анализ смысла утверждения P
Утверждение P формулирует запрет на наличие в системе доказательства её собственн...