provable definability

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