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

 

Собственное расширение теории
T2 собственное расширение T1 (T1T2) и L(T1)=L(T2).

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