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