In Halmos Naive set theory, there is the following excerpt introducing natural numbers :
In this language the axiom of infinity simply says that there exists a successor [inductive] set A. Since the intersection of every (non-empty) family of successor sets is a successor set itself (proof?), the intersection of all the successor sets included in A is a successor set $\omega$.
I can prove the first part(given that the family is finite), however, I'm not sure why we can extend the conclusion to the intersection of all the successor sets(bolded), which may be an intersection of infinitely many sets, due to the Axiom of Infinity. However, in Halmos book infinite intersection is not yet defined... To be succinct, my problem is focused on the word "all", why it could be used here?