基数之间没有别的基数，这就是著名的连续统假设。
1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性，并于1940年发表。
1963年北丽国数学家保罗·柯恩以力迫法证明连续统假设不能由策梅洛-弗兰克尔集合论(无论是否含选择公理)推导。
至今已有84年，还没人能完全解决这个问题。
叶非看了四五篇论文，感觉有些疲惫，没想到任何写论文的灵感。
“要不用系统试试？”
说完，他在系统中创建一个任务。
【任务：发表一篇CSCDA区数学论文
详情：论文要求是集合论类
进度：0%
奖励：5积分】
几分钟后！
“集合论的一些新公理？”
“这解法不行啊！”
“你这解法无法解决较弱分出的公理啊！”
“必须引入替代公理，才能解决这个问题啊！”
“还有，你这公理二不含有谓词变元啊！”
“……”
叶非脑海好似醍醐灌顶般，所有知识好似燃烧一般，思路纷沓而来。
“艹……”他突然目瞪口呆的叫一声。
“怎么了？”庄南疑惑的看向叶非。
“没事！”叶非摇头，心中惊讶：“我刚刚那是？”
这时他感到脑海中出现许多数学想法，好似打开奇经八脉，过去很多不会的地方，此时都会了。
并不是说他多获得多少知识，而是本来就懂的知识，过去不会应用，更不会将知识与知识间联合应用。
就好似他左手握着木材，右手握着点燃的火柴。
过去他只知道它们一个是木材，一个是火柴。
但怎么用，他不知道，更不知道，如果两者接触到一起，能点燃木柴。
现在，他全部都知道了。
接着，他看向系统。
【任务：发表一篇CSCDA区数学论文(2%)
详情：论文要求是集合论类的
奖励：5积分】
叶非心中震惊：“这系统是真牛比。”
“要是如此的话，我还真有可能写出一篇CSCDA区的论文。”
想到这里，叶非心中狠狠的倒吸一口凉气。
他看向庄南，开玩笑的道：“庄南，CSCDA区论文，给你一个二作，你要吗？”
他现在不担心CSCDA区论文了，以他现在的能力，应该，也许，真的可以写出一篇CSCDA区论文。
论文有一作、二作、三作、四作、五作和通讯作者，一般通讯作者是指导写论文，论文的版权属于通讯作者，一作是写论文，其余二三四五作，都是挂名的。
相当于，通讯作者是老板，一作是打工的，其余作者是蹭功劳的。
所以论文中，通讯作者最重要，其次是一作，二三四五作，都不是很重要。
当然，也要看论文质量，如果是数学八大猜想的论文，即使是挂名，那也是很高的荣誉，无数人会认识你。
庄南笑道：“还是你自己享受吧，我可无福享受CSCDA区论文。”
ps：沙丘是长沙，中湖大学是湖南大学。