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