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