Словарь по логике
Консервативное расширение теории
Теория T
2
является консервативным расширением T
1
(T
1
T
2
), Язык(T
1
)
Язык(T
2
) и T
1
=(T
2
Язык(T
1
)). При этом T
1
является точным фрагментом (см.) теории T
2
в Язык(T
1
).
© Автор статьи.
(T1
T2), Язык(T1)
Язык(T1)). При этом T1 является точным фрагментом (см.) теории T2 в Язык(T1).