Definition:Inconsistent Proof System
Jump to navigation
Jump to search
Definition
Let $\LL$ be a logical language.
Let $\mathscr P$ be a proof system for $\LL$ which is not consistent.
Then $\mathscr P$ is described as inconsistent.