Язык(T1)
Язык(T2) и существует рекурсивная (по Смирнову) функция µ из Язык(T2) в Язык(T1) такая, что для всякой формулы A языка T1 верно, что µ(A)=A, и (|–T2 A |–T1 µ(A)).
Язык(T1)Язык(T2) и существует рекурсивная (по Смирнову) функция µ из Язык(T2) в Язык(T1) такая, что для всякой формулы A языка T1 верно, что µ(A)=A, и (|–T2 A |–T1 µ(A)).© Автор статьи.