-
-
181.冯诺依曼宇宙 V 是否包含大基数？ 大基数公理都是不可证明也不可证伪的，其真假的分别成立就导致了不同的 V ，不论选取多强的理论作为数学基础，相应的大基数公理都仍然存在。因为大基数公理的基本生成模板就是：“存在k，理论 T 在 V_k 中为真。”，这样 k 的存在性就独立于理论 T 。 2.完成主义的局限 由于实现大基数公理的 V 总是包含不实现大基数公理的 V，后者往往被视为前者的一个前段 V_k，这就将我们导向了一个超越所有理论的真正的 V
-
271.若 k 为不可达基数，则存在 k 的一个序型为 k 的子集 W，W 是世界基数的集合。故存在世界基数不是不可达基数。这个就连知乎搜下世界基数都能搜出来（非常建议去知乎反驳他），k 是世界基数但不是不可达基数，别说 Vk+1，哪怕是 V 看 k 都还只是不是不可达基数的世界基数。 2.模型论常识性错误，模型是指论域与其上的诸关系构成的，如（V,∈）中 V 为论域则 ∈ 是 V 上的一个二元关系，此人却说 (θ,ξ) 中的 ξ 是语言 L 上的关系，简直无稽之谈。
本吧礼赞
感谢你与本吧的一同成长
感谢你与本吧的一同成长
