形式主义与多宇宙观（三） (3-3)

Hamkins关于基于顶扩张的潜在系统模态性质的研究与他关于其他集合论复宇宙子结构的研究一样，意在展示复宇宙的丰富性与复杂性。

为了维持实在论的立场同时摆脱传统单一宇宙观的统领，集合论多宇宙观的拥护者总试图通过展示复宇宙的丰富性来揭示人们关于“集合”的概念是不清晰的，甚至并不存在“真正的集合概念”。

可见，有关集合论多宇宙观的研究仍然紧密围绕着这些经典的本体论问题。

在其中，来自形式主义的启发、助探和事后的解释是缺位的。

① 认为集合论（甚至一般数学工作）就是在ZFC这个公理系统中做证明，科恩（Paul Cohen）是其代表。基于这个立场，他认为他关于连续统假设独立性的证明已经终结了连续统假设问题，即它和它的否定都不可证。

② 一般定义泛型复宇宙为一个集合论宇宙组成的类，它可以由其中任何一个集合论宇宙通过在取力迫扩张和地基下封闭得到。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。