- Types:
-
rationality, rationalness
the quality of being consistent with or based on logic
-
consistency
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
-
completeness
(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