СИНТАКСИЧЕСКАЯ АКСИОМАТИЗАЦИЯ Русско-английский перевод СИНТАКСИЧЕСКАЯ АКСИОМАТИЗАЦИЯ мат. syntactic axiomatization Большой Русско-Английский словарь. New big Russian-English dictionary. 2012