  As an immediate corollary we infer that this deductive apparatus is adequate for deductions from countable sets of premises in L(ω1,ω). That is, with the obvious extension of notation, we have, for any countable set Δ ⊆ Sent(ω1,ω) 