Перефразирование теоремы Гделя говорит, что для любого игрока записи есть записи, которые он не может играть, потому что они вызовут его косвенное самоуничтожение.