Конечно аксиоматизируемый класс, теория моделей.

[knizhnik]

Iv_Vol в сообщении #1186665 писал(а):

$ \forall x (\varphi_\leqslant (x,x))$

Тогда и здесь менять тоже.

[arseniiv]

А эта формула нам уже и так в аксиомах не нужна. (Ну и, понятное дело, менять надо ещё аксиому неограниченности справа, раз ради её упрощения всё затевалось.)

[knizhnik]

(Оффтоп)

arseniiv, я хотел бы еще поблагодарить вас за подсказки. Я тут сначала немного увяз, и только с вашей помощью удалось разобраться.