Полный англо-русский словарь
Аксиоматизируемость, аксиоматизуемость — calculable axiomatizability — finite axiomatizability — universal axiomatizability