recursively axiomatized

Мат. рекурсивно аксиоматизированный