set of all finite subsets of N is countably infinite.

To be proved....