bn:00021998n
Noun Concept
EL
απόδειξη της συνέπειας  λογικά συνεπής  συνεπής
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