ili:i62154
http://globalwordnet.org| rdf: | type | Concept |
| skos: | definition⊑ | (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 |
External links
| ∴dns: | linked concept | en:completeness |
Other
| Source | http://wordnet-rdf.princeton.edu |