semantic definability

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