我们可以设想存在任意多个满足V=LΩ(*)的宇宙V,它们都可以通过某个sharp迭代到足够多步之外,以至于最终得到的ZFC模型M满足SIMH#,这样得到的M可以称为(由LΩ(*)生成的)终极V。
正如终极L的非唯一性,如此生成的终极V也是不唯一的。
正常情况或一般情况下W应翻译成ω
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。