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';
Definitions
- 英语
-
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
- 日语
-
もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質
Relations
External Links
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the
Extended Open Multilingual Wordnet (0.9)
Maintainer:
Francis Bond
<bond@ieee.org>