формальное следствие

Мат. formal consequence, formal corollary

Источник: Полный русско-английский словарь на Gufo.me