Definition:Consistent (Logic)

Definition
Let $\mathcal L$ be a logical language.

Let $\mathscr P$ be a proof system for $\mathcal L$.

Also see

 * Definition:Provable Consequence
 * Definition:Inconsistent