Now you are moving into material and proofs that really do depend upon the particular set of axioms and theorems given in your text material.

How does your text definefinite sets&infinite sets? There are two basic approaches. Which does your text use?

Give us some idea about the basic theorems you have to use.