Б. Дважды гёделевы острова

Задачи этого раздела представляют более специальный интерес, и ознакомление с ними можно отложить до прочтения раздела B.

Под дважды гёделевыми островами мы будем понимать острова рыцарей и лжецов, объединенные в клубы, удовлетворяющие условию CG.

CG: для любых двух клубов C1, C2 найдутся островитяне A, B, о которых известно следующее: A утверждает, что B состоит членом клуба C1, а B утверждает, что A состоит членом клуба C2.

Насколько мне известно, из условия CG не следует условие G, а из условия G не следует условие CG. Оба условия выглядят совершенно независимыми, поэтому (насколько мне известно) дважды гёделевы острова не обязательно должны быть гёделевыми островами.

Изучение дважды гёделевых островов — мой «конек».

Задачи, связанные с ними, имеют такое же отношение к парадоксу Журдэна с двусторонней карточкой (см. задачу 254 в предыдущей главе), какое задачи о гёделевых островах имеют к парадоксу лжецов.