СИСТЕМА АКСИОМ Русско-английский перевод СИСТЕМА АКСИОМ axiom scheme Большой Русско-Английский словарь. New big Russian-English dictionary. 2012