第1章 學霸系統(tǒng)？（第2頁）

1938年，哥德爾證明了連續(xù)統(tǒng)假設和世界公認的策梅洛--弗倫克爾集合論公理系統(tǒng)的無矛盾性，并于1940年發(fā)表。

1963年北麗國數(shù)學家保羅·柯恩以力迫法證明連續(xù)統(tǒng)假設不能由策梅洛-弗蘭克爾集合論(無論是否含選擇公理）推導。

至今已有84年，還沒人能完全解決這個問題。

葉非看了四五篇論文，感覺有些疲憊，沒想到任何寫論文的靈感。

“要不用系統(tǒng)試試？”

說完，他在系統(tǒng)中創(chuàng)建一個任務。

【任務：發(fā)表一篇cscda區(qū)數(shù)學論文

詳情：論文要求是集合論類

進度：0

獎勵：5積分】

幾分鐘后！

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

“這解法不行??！”

“你這解法無法解決較弱分出的公理啊！”

“必須引入替代公理，才能解決這個問題?。　?/p>

“還有，你這公理二不含有謂詞變元啊！”

“……”

葉非腦海好似醍醐灌頂般，所有知識好似燃燒一般，思路紛沓而來。

“艸……”他突然目瞪口呆的叫一聲。

“怎么了？”莊南疑惑的看向葉非。

“沒事！”葉非搖頭，心中驚訝：“我剛剛那是？”

這時他感到腦海中出現(xiàn)許多數(shù)學想法，好似打開奇經(jīng)八脈，過去很多不會的地方，此時都會了。