10.3969/j.issn.1003-8477.2013.12.030
胡塞尔论形式公理系统的完全性
在放弃了《算术哲学》中的心理学方案后,胡塞尔在哥廷根的两个讲座中提出了一个新方案解决数学基础问题。该方案通过形式公理系统证明了想象数的有效性和实数系统形式上的一致性。其中,胡塞尔论述了一种“确定的簇”来说明算术系统的完全性,并对希尔伯特的完全性公理进行了批判。
算术哲学、胡塞尔、簇、完全性、公理化
B516.52;B815(欧洲各国哲学)
2014-01-07(万方平台首次上网日期,不代表论文的发表时间)
共5页
114-118