算术的「基础」，以演绎的方式证明「二加二等于四」这类基本恆等式必然为真。从亚里斯多德以来，逻辑学一直是研究命题与命题彼此关系的学问，弗雷格则扩大逻辑学的内容，创造了「量化」逻辑 ( 与「全部」、「有些」、「无」等范畴有关)，使其成为今日哲学家熟知与沿用的知识。正如笛卡儿与洛克沿着知识论大道发展现代哲学，弗雷格也沿着逻辑学与语言分析之路发展当代哲学。「语言学转向」是个令人兴奋的突破，它试图以分析哲学为基础，解释所有的理论。
参考.
主要的.Frege inte