I have a theorem which says

Suppose A is a set. The following statements are equivalent:

1. A is countable

2. Either A = empty or there is a function f:z+ -> A that is onto.

3. There is a function f:A -> z+ that is one-to-one

I am supposed to use those however I am stuck....