Finite and infinite are well defined in every set theory. You shouldn’t approach a topological proof without acquainting yourself with the most basic set theoretic foundation.