Одним из следствий теоремы Гёделя является то, что в любой достаточно большой системе возникает свойство самоописания. В математическом выражении это соответствует тому, что граничные члены достаточно большого множества сами не принадлежат к этому множеству (одна из формулировок теоремы Гёделя). — Прим. пер.
