Definition:Independent Proof System

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathcal L$ 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.



Sources