全体正整数的平方所构成的集合中的元素都是正整数，而且不包含所有正整数，由欧几里得第五公设“部分小于整体”，全体正整数的平方所构成的集合的个数小于全体正整数所构成的集合的元素个数