Словарь по логике
Расширение теории
Теоряи T
2
называется расширением T
1
(T
1
T
2
).
© Автор статьи.
(T1
T2).