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