universal instantiation

Мат. универсальное подтверждение

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