Goldbach猜想等与PA的一些联系———对一些数论问题的逻辑讨论(Ⅱ) (2002年)

【文件属性】：

文件名称：Goldbach猜想等与PA的一些联系———对一些数论问题的逻辑讨论(Ⅱ) (2002年)

文件大小：220KB

文件格式：PDF

更新时间：2024-06-20 08:14:57

自然科学 论文

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价)。又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价)。