Peano公理组相关论文
用模型论的方法证明了一类三素元组猜想独立于一公理组，此公理组在自然数系N上是与Peano算数公理组等价的。......
用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明......
用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.......
用模型论方法证明了,对于在自然数系N上与PA等价的一组公理P1而言,N中一类特殊完美数的无限性是独立于P1 的. 并且,N中一类特殊亲......
