湖北社会科学
湖北社會科學
호북사회과학
SOCIAL SCIENCES IN HUBEI
2013年
12期
114-118
,共5页
算术哲学%胡塞尔%簇%完全性%公理化
算術哲學%鬍塞爾%簇%完全性%公理化
산술철학%호새이%족%완전성%공이화
在放弃了《算术哲学》中的心理学方案后，胡塞尔在哥廷根的两个讲座中提出了一个新方案解决数学基础问题。该方案通过形式公理系统证明了想象数的有效性和实数系统形式上的一致性。其中，胡塞尔论述了一种“确定的簇”来说明算术系统的完全性，并对希尔伯特的完全性公理进行了批判。
在放棄瞭《算術哲學》中的心理學方案後，鬍塞爾在哥廷根的兩箇講座中提齣瞭一箇新方案解決數學基礎問題。該方案通過形式公理繫統證明瞭想象數的有效性和實數繫統形式上的一緻性。其中，鬍塞爾論述瞭一種“確定的簇”來說明算術繫統的完全性，併對希爾伯特的完全性公理進行瞭批判。
재방기료《산술철학》중적심이학방안후，호새이재가정근적량개강좌중제출료일개신방안해결수학기출문제。해방안통과형식공리계통증명료상상수적유효성화실수계통형식상적일치성。기중，호새이논술료일충“학정적족”래설명산술계통적완전성，병대희이백특적완전성공리진행료비판。
