Equivalence of Definitions of Consistent Set of Formulas

Theorem
Let $\LL_0$ be the language of propositional logic.

Let $\mathscr P$ be a proof system for $\LL_0$.

Let $\FF$ be a collection of logical formulas.