Definiția cu ID-ul 458725:

DECIDABILITÁTE s. f. caracterul unui sistem ipotetico-deductiv contradictoriu și complet. (< fr. décidabilité)[1]

  1. Raportarea la un sistem este puțin ambiguă. Un sistem nu poate fi echivalat cu o parte (bucată) a sistemului. Bucăți (părți) ale sistemului se pot supune Principiului (Legii) Contradicției, dar acest principiu aplicat întregului sistem produce efecte nedorite. Sistemul este indecidabil chiar dacă toate părțile acestuia sunt decidabile. De fapt, decidabilitatea este dată de Principiul (Legea) Terțului Exclus. — Ladislau Strifler