Definiția cu ID-ul 1054862:

decidabilitáte sf [At: DN3 / Pl: ~tắți / E: fr décidabilité] (Log) Caracter al unui sistem ipotetico-deductiv noncontradictoriu și complet.