Словарь по логике
Дефинициальная выразимость теории
Теория T
1
дефинициально выразима (дефинициально вложима) в T
2
существует дефинициальное расширение T
2
, являющееся консервативным расширением T
1
.
© Автор статьи.