胡塞尔论形式公理系统的完全性

在放弃了《算术哲学》中的心理学方案后，胡塞尔在哥廷根的两个讲座中提出了一个新方案解决数学基础问题。该方案通过形式公理系统证明了想象数的有效性和实数系统形式上的一致性。其中，胡塞尔论述了一种“确定的簇”来说明算术系统的完全性，并对希尔伯特的完全性公理进行了批判。