Definiția cu ID-ul 1073028:
Explicative DEX
completitudine sf [At: DEX2 / E: ns cf fr complétude] (Log) Proprietate a unui sistem ipotetic-deductiv în care orice propoziție supusă regulilor de deducție poate fi demonstrată.
completitudine sf [At: DEX2 / E: ns cf fr complétude] (Log) Proprietate a unui sistem ipotetic-deductiv în care orice propoziție supusă regulilor de deducție poate fi demonstrată.