bn:00021998n
Noun Concept
SYL
No term available
EN
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another WordNet 3.0
English:
mathematical logic
Relations
Sources
CATEGORY DOMAIN
DESCRIBED BY SOURCE
OPPOSITE OF
SAID TO BE THE SAME AS