夏国，中湖省，沙丘市，2022年4月15日，中湖大学，研究生宿舍！
一位二十二岁左右俊秀青年坐在书桌前，面前笔记本电脑开启着。
他叫叶非，中湖大学数学系基础数学专业研一研究生。
此时他正目瞪口呆，好似看到什么震碎三观的东西。
“我去……这是什么？”
【恭喜您获得学霸系统】
“学霸系统？”叶非双眸闪烁，看着眼前文字：“我这样还需要学霸系统？我自己就是学霸好不好？”
中湖大学是夏国211、9站，存放了世界各地的预印本论文，涵盖计算机、数学和物理等多个领域。
许多学者，为了防止论文被剽窃，在将论文发给学术期刊之前，都会把论文挂在这个网站上。
在挂上去之后，任何人都可以看，在这期间，发表论文的学者可随意对论文修改和删除。
所以，Arxiv又被称为占坑神器。
“弱集合论、集合论代数的新运算、一种弱谓词逻辑上的集合论……”
Arxiv上每天都有无数论文发表，很多人的论文可能挂一段时间就删掉了。
主要原因是发现论文错误，或者研究中断，或者没通过学术期刊审核。
叶非现在看的是关于集合论的论文，他导师研究的就是集合论，他手下的研究论自然也研究集合论。
夏国研究集合论的学者很多，但研究出名堂的学者非常少，全国不超过二十人，而他导师是其中一位。
集合论属于数理逻辑学，最着名的就是希尔伯特第一个问题。
康托猜测在可列集基数和实数基数之间没有别的基数，这就是着名的连续统假设。
1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性，并于1940年发表。
1963年北丽国数学家保罗·柯恩以力迫法证明连续统假设不能由策梅洛-弗兰克尔集合论(无论是否含选择公理)推导。
至今已有84年，还没人能完全解决这个问题。
叶非看了四五篇论文，感觉有些疲惫，没想到任何写论文的灵感。
“要不用系统试试？”
说完，他在系统中创建一个任务。
【任务：发表一篇CSCDA区数学论文
详情：论文要求是集合论类
进度：0%
奖励：5积分】
几分钟后！
“集合论的一些新公理？”
“这解法不行啊！”
（本章未完，请点击下一页继续阅读）