1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究 没有ZFC和ZFC的标准模型

论文研究 没有ZFC和ZFC的标准模型

上传者: 2020-06-02 11:44:15上传 PDF文件 979.75KB 热度 17次
在本文中,我们证明了对应于形式理论Th的所谓强反射原理,该理论具有欧米伽模型或具有标准零件的非标准模型。考虑了Löb定理的可能推广。主要结果是:1),2),3),4),5)然后让k是不可访问的基数。
用户评论