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.