>>619
(∃A)(∀x){ (x∈A) ⇔ ((∃B) x∈B∈S) } (Ax. of Union)
∃C := { x∈A | (∀B∈S) x∈B } (Ax. of Comprehension)
x∈∩S ⇔ (∀B∈S)x∈B (∵∩S定義)
⇔ ((∀B∈S)x∈B) ∧ ((∃B) x∈B∈S) (∵ S≠∅)
⇔ ((∀B∈S)x∈B) ∧ (x∈A) ⇔ x∈C (∵ C定義)
∴ C = ∩S

例えば S=∅ の時に ∩S =∅ としてしまうと、
(∀x)( x∈∩S ⇔ (∀B∈S)x∈B ) ≡ (∀x)( 偽 ⇔ 真 ) となってしまい都合が悪いのです。