Большой англо-русский словарь (с транскрипциями) SYNTAX arithmetization мат. арифметизация синтаксиса, геделизация