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

 

Погружаемость одной теории в другую
Рекурсивная (по Смирнову) функция µ из языка T1 в язык T2 погружает теорию T1 в T2 для всякой формулы A языка T1 верно, что (Т1|–A Т2|– µ(A)).

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