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