Чиорт

Не совсем Карри, но близко. Дефект - в том же самом, а именно - в автореференции. Чтобы проверить истинность формулы, требуется ее развернуть до уровня концевых термов, т.е. не ссылаться на номер, а сделать частью самого утверждения по схеме: "Ложны утверждение о том, что Земля плоская, и о том, что ложно утверждение о том, что Земля плоская и о том, что...". Поскольку во втором случае концевых термов нет (высказывание должно стать для этого бесконечно большим), то и проверить истинность невозможно. В парадоксе лжеца - та же хрень.