章节出错了,点此刷新,刷新后小编会在两分钟内校正章节内容,请稍后再试。
1963年北丽国数学保罗·柯恩以迫法证连续统假设不能策梅洛-弗兰克尔集论(无论是否含选择)推导。
至今已有84年，还没人能完全决这个问。
叶非了篇论，感觉有疲惫，没到何写论的灵感。
“要不用统试试？”
说完，他在统中创一个务。
【务：发一篇CSCDA区数学论
详：论要是集论类
进：0%
奖励：5积分】
分钟后！
“集论的一？”
“这法不行啊！”
“这法无法决较弱分出的啊！”
“必须引替，才能决这个问啊！”
“还有，这不含有谓词变元啊！”
“……”
叶非脑海似醍醐灌顶般，所有识似燃烧一般，思纷沓而来。
“艹……”他突目瞪口呆的叫一声。
“怎了？”庄疑惑的叶非。
“没！”叶非摇头，中惊讶：“我刚刚是？”
这时他感到脑海中出现许多数学法，似打开奇经八脉，过多不会的地方，时会了。
不是说他多获得多少识，而是来就懂的识，过不会应用，更不会将识与识间联应用。
就似他左握着木材，右握着点燃的火柴。
过他们一个是木材，一个是火柴。