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

 

Рекурсивная эквивалентность теорий
T1 и T2 рекурсивно эквивалентны T1 рекурсивно вложима в T2 и T2 рекурсивно вложима в T1.

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