definovatelnost
definovatelnost, log. možnost zavedení (určení) pojmu, výrazu nebo entity do určité teorie. Z obecného sémantického hlediska je d. 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.
