牟宗三先生《邏輯典範》 對於羅素的批評 - 政大哲學學報 - 政治大學

11/40截圖：


註解20：事實上，皮氏是以1作為(自然)數的開始，他的第一條公理是「1是一個數」。
不過，羅素版本的皮氏體系中，數由0開始，所以第一條公理是「0是一個數」。
---
英文資料：
https://www.sciencedirect.com/topic...ics/peano-axiom

擷文，圖放不下
“Peano axioms” can be found today in numerous textbooks in a form similar to our list in Section 9.2. But the original Peano axioms were quite different. First of all, the notion of a natural number (a member of the set &#8469 was taken as a primitive, and there were explicit axioms stating that zero and its successors are natural numbers. Also Peano used a language richer than first-order logic. There was a single induction axiom, involving quantification over sets, and there were no axioms for addition and multiplication (Example 12.2.2(iv) explains why). Peano’s system can thus be more adequately represented in second-order logic (see Chapters 11 and 12). A minor difference is that his numbers began with 1, not 0.

簡言之，諸君現在查得到的網頁，都是經過羅素理論的"修正版"，並不是"原版"
我相信牟宗三先生。