Логіки першого порядку

Приклад 8. Предикат “х=2” не виразимий в АС (N, {(, =}).

Відображення, задане умовою ((2a(3b(c)=2b(3a(c, є автоморфізмом такої АС, бо бієктивне і зберігає значення функції ( та предикату =. Предикат "х=2" позначимо Р(х). Тоді Р(2)=T та Р(((2))=Р(3)=F.