# Definition:Independent Proof System

## Definition

Let $\LL$ be a logical language.

Let $\mathscr P$ be a proof system.

Then $\mathscr P$ is independent if it is not possible to derive one axiom or rule of inference of $\mathscr P$ from the others.