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

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