Словарь по логике

Дефинициальная эквивалентность теорий

Теории T₁ и T₂ дефинициально эквивалентны T₁ дефинициально расширяема до T₂ и T₂ дефинициально расширяема до T₁.
– теории T₁ и T₂ дефинициально эквивалентны T₁ дефинициально выразима в T₂ и T₂ дефинициально выразима в T₁.
– теории T₁ и T₂ дефинициально эквивалентны существует теория, являющаяся консервативным дефинициальным расширением T₁ и T₂.

© Автор статьи.