definovatelnost

Logika, možnost zavedení (určení) pojmu, výrazu nebo entity do určité teorie. Z obecného sémantického hlediska je definovatelnost množiny M dána existencí takové formule, již splňují prvky množiny M. Syntakticky v teorii T je d. predikátu P (x) určena existencí takové formule, která všechny argumenty predikátu P vyjadřuje jako tvrzení teorie T.