Definition:Inconsistent Proof System

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.

Also see

• Definition:Consistent Proof System