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

 

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

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