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