《需求3》的一个重要结论是,尽管超宇宙计划中制定的首选宇宙的标准可能不是一级的(实际上,我们将在第3节介绍的标准不是--它们在整个超宇宙中量化),尽管如此,在超宇宙计划中,我们得到了集合论的一阶公理,这些是首选宇宙共享的一阶真理。
在论证Desideratum3的合理性时,人们可以引用向下的Lowenheim-Skolem定理,然而,该定理本身只是暗示一定存在V一阶反射到的超宇宙成员。它们可能被选为超宇宙的首选元素只是一种假设
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。