Q是有理数集，A[i]是所有有理数加√q形成的数的集合，q是第i个素数，证明:A[i]组成的集合是有限集，如果可能，计算该集合的势。
如果这个结论不成立，分析学的根基就要有麻烦了。要证明它，最好从完备公理开始。