Словарь по логике
Собственное расширение теории
T
2
собственное расширение T
1
(T
1
T
2
) и L(T
1
)=L(T
2
).
© Автор статьи.
(T1
T2) и L(T1)=L(T2). (T1T2) и L(T1)=L(T2).