Skip to main content
Proof Assistants Beta

About

Ask Question
Tag Info
Info Newest Frequent Score Active Unanswered

A system of formal logic is consistent if false is not deducible in the system. (from nLab).

References
nLab
forall x

History Excerpt history