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