nLab
consistency

Idea

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.