04785414-n

English_3.0

Synset:
completeness
Gloss:
(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system

French_3.0

Synset:
complétude, exhaustivité

Spanish_3.0

Synset:
completitud, completitud_semántica
Gloss:
None

Relações

inv-has_hyponym
04784664-n
inv-rgloss
00636574-v
inv-rgloss
00706693-v
inv-rgloss
02620587-v
inv-rgloss
05664069-n
inv-rgloss
06750804-n
inv-rgloss
06753550-n
inv-rgloss
07206887-n
inv-category_term
06163751-n