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

Мат. calculable axiomatizability