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

 

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

© Автор статьи.