provable definability

Мат. доказуемая определимость

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