FINITE AXIOMATIZATION Англо-русский перевод FINITE AXIOMATIZATION мат. конечная аксиоматизация New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011