global deducibility

Мат. выводимость в целом

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