provable sequent

Мат. доказуемая секвенция

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