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

Мат. calculable axiomatizability

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