夜，葉非躺在床上，開啟系統。
【任務：無
體能：150
智商：129
功能：融會貫通：Lv0(0/100
等級：0
積分：105】
葉非已經完成兩個任務，第一個任務獲得5積分，第二個任務獲得100積分。
但他一直都沒加點，因為體能和智商一點需要一百積分，功能一點需要十積分。
他現在獲得的積分，加一點體能或智商對他幫助可以忽略，功能又無法升級，不能升級提升等同於無。
所以他一直都將積分攢著。
“奇異基數已經證明成功，可以開始下一個任務了。”
“導師一直催促我和他合作極小塔問題。”
“現在我沒事做了，那就研究極小塔問題吧！”
極小塔問題出現於1940年，是集合論核心問題之一。
問的是兩個連續統基數不變數p與t是否在ZFC下可證明是相等的。
這個問題是基數不變數理論中的歷史最悠久的公開問題。
如果證明成功將對力迫理論的發展起到巨大的推動作用。
ZFC，全稱叫做ZFC公理系統。
是由策梅洛和弗倫克爾提出的ZF系統，在此基礎上再加上選擇公理，構成ZFC公理系統。
它是第一個公理集合論系統，在集合論中有非常廣泛的應用。
力迫理論，又叫做力迫法，是公理集合論研究中構造擴充模型的一種重要方法，它是科恩在1963年證明連續統假設的獨立性而創立的。
說白了，不管是奇異基數問題，還是極小塔問題，對證明連續統假設都有很大幫助。
葉非說著建立任務。