連續(xù)統(tǒng)的基數(shù)不是阿列夫一。
阿基里斯回憶著之前那張紙上列舉著超圖靈機(jī)力量層次的圖靈度層級(jí)，表情疑惑地問(wèn)道：
“可是，之前在那張圖表上，你不是在無(wú)限時(shí)間圖靈機(jī)的下方劃了一條線，并且寫(xiě)下了實(shí)數(shù)連續(xù)統(tǒng)嗎？”
在那張圖靈度層級(jí)的圖表上，所有的超圖靈機(jī)都屬于可數(shù)無(wú)限的層次，唯有最末尾的實(shí)數(shù)連續(xù)統(tǒng)是不可數(shù)無(wú)限。
這樣看來(lái)，康托爾的連續(xù)統(tǒng)假設(shè)在這個(gè)世界里應(yīng)該是成立的。...