Словарь по логике

Рекурсивная определимость теории: T₂ рекурсивно определяется в T₁ Язык(T₁)Язык(T₂) и существует рекурсивная (по Смирнову) функция µ из Язык(T₂) в Язык(T₁) такая, что для всякой формулы A Язык(T₁) верно, что µ(A)=A, и T₂|– (A µ(A)).