Добрый день.
Читаю курс на интуите. Там предлагается решить 2 задачи. Одна из них вот:
Цитата:
Покажите, что предикат

невыразим в интерпретации

, где

— одноместная функция

.
У меня есть непонимание. В примерах на интуите разобраны простые примеры, где нужно доказывать невыразимость предикатов типа

. А тут появилась функция, как решать такое - не понятно.
Понятно, что для решения задачи нужно придумать некоторый автоморфизм интерпретации, относительно которого интересующий предикат неустойчив.
Пробовал различные варианты, а-ля:

,

, но всё это не проходит.