Теория моделей у исчисления предикатов

[maxim092001]

У предиката и fn разные размерности должны быть.