三素元组猜想对于Peano公理组的条件独立性 (2008年)

【文件属性】：

文件名称：三素元组猜想对于Peano公理组的条件独立性 (2008年)

文件大小：267KB

文件格式：PDF

更新时间：2024-05-28 15:35:50

自然科学 论文

用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的。