Большой англо-русский словарь (с транскрипциями) SYNTACTIC axiomatization мат. синтаксическая аксиоматизация