自然数全体の集合Nの部分集合はほとんど存在証明できない。
部分集合の全体は非可算集合だが、{n∈N|φ(n)}の形で書ける部分集合はたかだか可算個しかない。