Completeness
Of logic and logicality.
(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.
This concept's ID is @1~26314
loading graph...