|
|||||
|
|
| Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（I） | |
| 作者姓名： | 王世强 |
| 作者单位： | 北京师范大学数学系，北京100875 |
| 基金项目： | 国家自然科学基金;19931020; |
| 摘 要： | 用模型论方法证明了，在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下，前者在逻辑上独立于后者，此外，还宣布了一些其他结果。 |
| 关 键 词： | Goldbach猜想 Peano公理组 模型论 数论 整数环 逻辑 |
| 修稿时间： | 2001-04-05 |
| 本文献已被 维普 等数据库收录！ | |