第1章 学霸系统？（3/4）

arv是全球开放的网站，存放了世界各地的预印本论文，涵盖计算机、数学和物理等多个领域。

许多学者，为了防止论文被剽窃，在将论文发给学术期刊之前，都会把论文挂在这个网站上。

在挂上去之后，任何人都可以看，在这期间，发表论文的学者可随意对论文修改和删除。

所以，arv又被称为占坑神器。

“弱集合论、集合论代数的新运算、一种弱谓词逻辑上的集合论……”

arv上每天都有无数论文发表，很多人的论文可能挂一段时间就删掉了。

主要原因是发现论文错误，或者研究中断，或者没通过学术期刊审核。

叶非现在看的是关于集合论的论文，他导师研究的就是集合论，他手下的研究论自然也研究集合论。

夏国研究集合论的学者很多，但研究出名堂的学者非常少，全国不超过二十人，而他导师是其中一位。

集合论属于数理逻辑学，最著名的就是希尔伯特第一个问题。

康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。

1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性，并于1940年发表。

1963年北丽国数学家保罗·柯恩以力迫法证明连续统假设不能由策梅洛-弗兰克尔集合论(无论是否含选择公理)推导。

至今已有84年，还没人能完全解决这个问题。

叶非看了四五篇论文，感觉有些疲惫，没想到任何写论文的灵感。

“要不用系统试试？”

说完，他在系统中创建一个任务。

【任务：发表一篇ccd数学论文

详情：论文要求是集合论类的

进度：0

奖励：5积分】

几分钟后！

“集合论的一些新公理？”

“这解法不行啊！”

“你这解法无法解决较弱分出的公理啊！”

“必须引入替代公理，才能解决这个问题啊！”

“还有，你这公理二不含有谓词变元啊！”

“……”

叶非脑海好似醍醐灌顶般，所有知识好似燃烧一般，思路纷沓而来。

“艹……”他突然目瞪口呆的叫一声。

“怎么了？”庄南疑惑的看向叶非。

“没事！”叶非摇头，心中惊讶：“我