Equivalence of Definitions of Consistent Proof System

Theorem
Let $\mathcal L_0$ be the language of propositional logic.

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