“我刚刚看到他们了。”庄南一脸羡慕忌妒恨的表情：“这两牲口正陪女朋友逛街呢！”
叶非撇了撇嘴：“他们这学习态度不专心啊，上学怎么能谈恋爱呢！”
“就是！”庄南愤恨的道：“他们这学习态度，我诅咒他们论文写不出来。”
“加我一个。”叶非道。
两个单身狗……
庄南转身打开电脑：“还是开始准备论文吧，想想写什么选题，还要报给导师呢！”
论文选题之前报给导师，导师会指导他们怎么写。
叶非打开Arxiv：“我也看看。”
打开Arxiv，按照分类搜索数学，基础数学。
Arxiv是全球开放的网站，存放了世界各地的预印本论文，涵盖计算机、数学和物理等多个领域。
许多学者，为了防止论文被剽窃，在将论文发给学术期刊之前，都会把论文挂在这个网站上。
在挂上去之后，任何人都可以看，在这期间，发表论文的学者可随意对论文修改和删除。
所以，Arxiv又被称为占坑神器。
“弱集合论、集合论代数的新运算、一种弱谓词逻辑上的集合论……”
Arxiv上每天都有无数论文发表，很多人的论文可能挂一段时间就删掉了。
主要原因是发现论文错误，或者研究中断，或者没通过学术期刊审核。
叶非现在看的是关于集合论的论文，他导师研究的就是集合论，他手下的研究论自然也研究集合论。
夏国研究集合论的学者很多，但研究出名堂的学者非常少，全国不超过二十人，而他导师是其中一位。
集合论属于数理逻辑学，最著名的就是希尔伯特第一个问题。
康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。
1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性，并于1940年发表。
1963年北丽国数学家保罗·柯恩以力迫法证明连续统假设不能由策梅洛-弗兰克尔集合论（无论是否含选择公理）推导。
至今已有84年，还没人能完全解决这个问题。
叶非看了四五篇论文，感觉有些疲惫，没想到任何写论文的灵感。
“要不用系统试试？”
说完，他在系统中创建一个任务。
【任务：发表一篇CSCDA区数学论文
详情：论文要求是集合论类
进度：0%
奖励：5积分】
几分钟后！