consistency

A system of formal logic is *consistent* if false is not deducible in the system.

Otherwise one speaks of *inconsistency*. See there for more.

Last revised on May 10, 2017 at 04:06:04. See the history of this page for a list of all contributions to it.