章节出错了,点此刷新,刷新后小编会在两分钟内校正章节内容,请稍后再试。
叶非现在的是关于集论的论，他导师研究的就是集论，他下的研究生自也研究集论。
夏国研究集论的学多，研究出名堂的学非少，全国不超过二十人，而他导师是中一。
集论属于数理逻辑学，著名的就是希尔伯一个问。
康托猜测在可列集数和实数数之间没有的数，这就是著名的连续统假设。
1938年，哥德尔证了连续统假设和世界认的策梅洛--弗伦克尔集论理统的无矛盾，于1940年发。
1963年丽国数学家罗·柯恩以力迫法证连续统假设不能策梅洛-弗兰克尔集论(无论是否含选择理)推导。
至今已有84年，还没人能完全决这个问。
叶非了篇论，感觉有疲惫，没到何写论的灵感。
“要不用统试试？”
说完，他在统中创一个务。
【务：发一篇CSCDA区数学论
详：论要是集论类
进度：0%
奖励：5积分】
分钟后！
“集论的一理？”
“这法不行啊！”
“这法无法决较弱分出的理啊！”
“必须引替理，才能决这个问啊！”
“还有，这理二不含有谓词变元啊！”
“……”
叶非脑似醍醐灌顶般，所有识似燃烧一般，思纷沓而来。
“艹……”他突目瞪口呆的叫一声。
“怎了？”庄疑惑的叶非。
“没！”叶非摇头，中惊讶：“我刚刚是？”
这时他感到脑中出现许多数学法，似打开奇经八脉，过去多不会的地方，时都会了。