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