формальное доказательство Formal proof Источник: Полный русско-английский словарь на Gufo.me Предложить изменения формальное дифференцирование формальное интегрирование