формальная выводимость Мат. formal deducibility, formal derivability Источник: Полный русско-английский словарь на Gufo.me Предложить изменения формальная ветвь формальная гладкость
