夜，叶非躺在床上，打开系统。



【任务：无



体能：150



智商：129



功能：融会贯通：lv00100



等级：0



积分：105】



叶非已经完成两个任务，第一个任务获得5积分，第二个任务获得100积分。



但他一直都没加点，因为体能和智商一点需要一百积分，功能一点需要十积分。



他现在获得的积分，加一点体能或智商对他帮助可以忽略，功能又无法升级，不能升级提升等同于无。



所以他一直都将积分攒着。



“奇异基数已经证明成功，可以开始下一個任务了。”



“导师一直催促我和他合作极小塔问题。”



“现在我没事做了，那就研究极小塔问题吧！”



极小塔问题出现于1940年，是集合论核心问题之一。



问的是两个连续统基数不变量p与t是否在zfc下可证明是相等的。



这个问题是基数不变量理论中的历史最悠久的公开问题。



如果证明成功将对力迫理论的发展起到巨大的推动作用。



zfc，全称叫做zfc公理系统。



是由策梅洛和弗伦克尔提出的zf系统，在此基础上再加上选择公理，构成zfc公理系统。



它是第一个公理集合论系统，在集合论中有非常广泛的应用。



力迫理论，又叫做力迫法，是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续统假设的独立性而创立的。



说白了，不管是奇异基数问题，还是极小塔问题，对证明连续统假设都有很大帮助。



叶非说着建立任务。



【任务：证明极小塔问题



详情：两个连续统基数不变量p与t是否在zfc下可证明是相等



奖励：100积分】



“又是100积分？看样子难度和奇异基数是一样的。”



从第二日开始，叶非就和鲁一山一起研究极小塔问题。



叶非在充分学习鲁一山教授之前的研究后，又进行了一些补充，两人的合作，研究速度非常的快。



叶非都感慨：“单打独斗果然没有两人合作快。”



如果说之前自己一个人研究奇异基数要两个月时间，但如果是两人合作，会将速度提高许多。



叶非心道：“以这样的速度，最多两个月，就能证明出来。”



鲁教授非常惊讶，这不合作不知道，一合作吓一跳。



“这到底是导师带学生？还是学生带导师？”



叶非的许多想法都很新颖，要不是多年研究极小塔问题，底蕴深厚，他都差点跟不上叶非的节奏。



鲁教授是痛并快乐着。



快乐的是研究速度非常快，痛苦的是他快跟不上叶非节奏了，需要补充知识。



“不行，一天不能工作十二个小时，就工作六个小时吧，还有六个小时，我要去学习。”



鲁教授这是被逼没办法，不然他真的快跟不上叶非的节奏了。



本来是他要拉着叶非加入自己的课题，让叶非跟着自己的节奏。



现在倒好，是自己要跟着叶非的节奏。



但节奏好像快跟不上了，他必须要将节奏放慢，每天都有时间学习，尽量跟上叶非节奏。



“以前怎么不知道他这么变态？”鲁教授心中吐槽：“要是让叶非知道我的能力，会不会看轻我？”



“不行，绝对不能被看出能力。”<