Equivalence of Definitions of Logical Consistence

Theorem
Let $\mathbf H$ be a countable set (either finite or infinite) of WFFs of propositional calculus.

The following statements are logically equivalent:


 * $(1): \quad$ $\mathbf H$ has a model.


 * $(2): \quad$ $\mathbf H$ is logically consistent.


 * $(3): \quad$ $\mathbf H$ has no tableau confutation.