s.f. (Log.) Caracterul unui sistem ipotetic-deductiv non-contradictoriu și complet. [Cf. fr. décidabilité].
s. f. caracterul unui sistem ipotetico-deductiv contradictoriu și complet. (< fr. décidabilité)