Полный англо-русский словарь
Аксиоматическая спецификация; аксиоматическое определение; аксиоматическое описание (описание, содержащее неявные представления описываемых объектов)