帕斯夸尔·弗雷斯科拉 这个逻辑哲学论算术系统。 （英语） Zbl 0929.03005号 合成 112，第3期，353-378（1997）. 小结：维特根斯坦的算术哲学逻辑哲学论概述了操作的一般概念，并指出了操作在其中所起的中心作用。然后，从逻辑哲学论给出了一个定理，证明了Peano算法的方程片断对这种形式理论的可解释性。 引用于2文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 30楼03号 一阶算法和片段 关键词：算术哲学;形式运算理论;Peano算术等式片断的可解释性 PDF格式BibTeX公司 XML格式引用 \textit{P.Frascolla}，Synthese 112，No.3，353--378（1997；Zbl 0929.03005） 全文： 内政部