Большой англо-русский словарь (с транскрипциями) INTERPRETATION theorem мат. теорема об интерпретации