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

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

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

至今已有84年，還沒(méi)人能完全解決這個(gè)問(wèn)題。

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

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

說(shuō)完，他在系統(tǒng)中創(chuàng)建一個(gè)任務(wù)。

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

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

進(jìn)度：0

獎(jiǎng)勵(lì)：5積分】

幾分鐘后！

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

“這解法不行啊！”

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

“必須引入替代公理，才能解決這個(gè)問(wèn)題?。　?/p>

“還有，你這公理二不含有謂詞變?cè)?！?/p>

“……”

葉非腦海好似醍醐灌頂般，所有知識(shí)好似燃燒一般，思路紛沓而來(lái)。

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

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

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

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