nLab consistency

Redirected from "consistent theory".

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 08:06:04. See the history of this page for a list of all contributions to it.