calculable axiomatizability

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

Источник: Полный англо-русский словарь на Gufo.me