Словарь по логике
Собственная подтеория
Понятие, обратное понятию собственное расширение: T
1
– собственная подтеория T
2
(T
1
T
2
) и L(T
1
)=L(T
2
).
© Автор статьи.
(T1
T2) и L(T1)=L(T2).