任何无穷集合都包含一个可数的子集
可数子集的幂就是阿列夫零

质数有无穷多个，所以他的幂大于等于他的可数子集的幂，也就是阿列夫零
同时质数是自然数的子集
他的幂小于等于自然数的幂，也就是阿列夫零
所以质数的幂就是阿列夫零