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