猜想对于Peano公理组的条件独立性---对一些数论问题的逻辑讨论(I) (2001年)

【文件属性】：

文件名称：猜想对于Peano公理组的条件独立性---对一些数论问题的逻辑讨论(I) (2001年)

文件大小：147KB

文件格式：PDF

更新时间：2024-06-03 22:39:25

自然科学 论文

用模型论方法证明了,在对于自然数系的Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者。此外,还宣布了一些其他结果。