Use induction to prove that a finite set with n elements has 2^n subsets.
The statement holds for : .
Now suppose that and has subsets.
Consider . Each subset of is also a subset of this is subsets. Unite each subset of with giving us subsets more subsets. So we have subsets of . That completes the induction.