Đáp án+Giải thích các bước giải:

 * Với `n` = `0`thì  số tập hợp con là `2^0` = `1` chính là tập hợp rỗng.

* Với `n` = `1` thì số tập hợp con là `2^1` là chính nó với tập rỗng

* Giả sử kết luận đúng với tập hợp có k phần tử là `2^k` tập hợp con với `k` ∈ `N`. Ta chứng minh kết luận đúng với  `n` = `k` + `1`

Theo giả thiết quy nạp, ngoài `2^k` tập con vốn có, thêm `1` phần tử thứ `k` + `1` thì được một tập con mới. Do đó tổng  số tập hợp con gồm `k` + `1` phần tử là `2^k` + `2^k` = `2^k+1`.

Vậy kết luận đúng với `n` = `k` + `1`

⇒ ĐPCM