Функции в моделях

[Lia]

pink Elephant
Замечание за избыточное цитирование и игнорирование указаний модератора.

[pink Elephant]

Все разобрался. Всем большое спасибо.

[gefest_md]

pink Elephant, строить формулу по-моему можно в обоих сигнатурах $\left\langle\mathbb{R},=,+,\cdot,0,1\right\rangle$ и $\left\langle\mathbb{R}=,+,\cdot\right\rangle$. Символ равенства может быть явно не указан. На счёт констант не знаю.