Definiția cu ID-ul 1054862:

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