Полный англо-русский словарь
Аксиоматизация, аксиоматизируемость — axiomatization process — finite axiomatization — syntactic axiomatization Аксиоматизация