Chứng minh theo phép quy nạp toán học:
Với n=0, tập rỗng có 2^0 tập con. Đúng.
Với n=1, có 2^1 = 2 tập con là rỗng và chính nó. Đúng.
Giả sử công thức đúng với n=k. Tức là số tập con của tập hợp gồm k phần tử là 2^k
Ta phải chứng minh công thức đúng với k+1.
Ngoài 2^k tập con vốn có...