文件名称:完美数与亲和数问题对PA的条件独立性———对一些数论问题的逻辑讨论(Ⅲ) (2002年)
文件大小:224KB
文件格式:PDF
更新时间:2024-07-01 12:13:44
自然科学 论文
用模型论方法证明了,对于在自然数系 N上与PA等价的一组公理P1而言,N中一类特殊完美数的无限性是独立于P1的。并且,N中一类特殊亲和数的无限性也是独立于P1的。
文件名称:完美数与亲和数问题对PA的条件独立性———对一些数论问题的逻辑讨论(Ⅲ) (2002年)
文件大小:224KB
文件格式:PDF
更新时间:2024-07-01 12:13:44
自然科学 论文
用模型论方法证明了,对于在自然数系 N上与PA等价的一组公理P1而言,N中一类特殊完美数的无限性是独立于P1的。并且,N中一类特殊亲和数的无限性也是独立于P1的。