Изменения

Введем обозначение. Будем говорить, что <tex>\alpha (x_1, \dots x_n)</tex> &mdash; это формула с <tex>n</tex> свободными переменными, если переменные <tex>x_1, ... x_n</tex> входят в <tex>\alpha</tex> свободно. Запись <tex>\alpha (y_1, \dots y_n)</tex> будем трактовать, как <tex>\alpha [x_1 := y_1, ... x_n := y_n]</tex>, при этом мы подразумеваем, что <tex>y_1, \dots y_n</tex> свободны для подстановки вместо <tex>x_1, \dots x_n</tex> в <tex>\alpha</tex>.