元素 自然数序列 素因数 整数 自然数 素数 Brouwer 潜无穷 性质 数学归纳法 满足条件 直觉主义 有根 平均值 实无穷 罗素悖论 互素 欧拉函数