calculable axiomatizability

Мат. вычислительная аксиоматизируемость