"位二进制数；第"n"位表示包含或不含formula_1的第"n"个元素。这样的数总共有formula_53个，见位数组。
相关研究.从幂集合探讨无穷集合的势之后，发现了[0,1] 区间内的所有实数是不可数的。后续一次引发了连续统假设、力迫法等研究。