就在希爾伯特提出他的公理化的同時,因此他假定,弗雷格正在通過表明實數(shù)的原則如何從純邏輯原則推出以對他的邏輯主義規(guī)劃做最后的點綴,并且通過在自然數(shù)序列的基礎(chǔ)上引入一個模型建立實數(shù)的存在,自然數(shù)序列在《算術(shù)的基本 (本文共 1872 字 ) [閱讀本文] >>
海量資源,盡在掌握
 就在希爾伯特提出他的公理化的同時,因此他假定,弗雷格正在通過表明實數(shù)的原則如何從純邏輯原則推出以對他的邏輯主義規(guī)劃做最后的點綴,并且通過在自然數(shù)序列的基礎(chǔ)上引入一個模型建立實數(shù)的存在,自然數(shù)序列在《算術(shù)的基本 (本文共 1872 字 ) [閱讀本文] >>
開通會員,享受整站包年服務(wù)
說明: 本文檔由創(chuàng)作者上傳發(fā)布,版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán),請點擊申訴舉報