1302
правки
Изменения
м
→Больше формальности!: опечатки
В схеме аксиом (A9) <tex>\psi</tex> – некоторая формула исчисления предикатов и <tex>x</tex> — некоторая переменная, входящая свободно в <tex>\psi</tex>.
A1, A2 {{---}} про предикат равенства. A5-A5 , A6 {{---}} про сложение. A7-, A8 {{---}} про умножение. A9 {{---}} схема аксиом индукции.
