04785414-n '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';
 
English completeness
Japanese 完全性
Definitions
English
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
Japanese
もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質
Relations
Hypernym: logicality
Domain–Category: logic
Semantic Field: attributen
External Links

SUMO: ⊂ Attribute

TempoWN: (Past: 0.000; Present: 0.452; Future: 0.001)

SentiWN: (+0.00 -0.12) MLSentiCon: (+0.12 -0.00)


Langs:

Preferences
(0.02766 seconds)
More detail about the Open Multilingual Wordnet (1.3)
This project is now integrated in the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>