推 ericpony:邏輯真和經驗真是不一樣的, 兩者可以在各自的脈絡中被證 08/02 06:33
→ ericpony:成(明) 其中一者的成立並不必然需假設, 或是可以推導出 08/02 06:36
→ ericpony:另一者的成立. "我兒子的兒子是我孫子"這句話的真假和我 08/02 06:36
→ ericpony:實際有沒有兒子無關, 要了解這概念也不必預設我兒子存在 08/02 06:41
推 ericpony:回到原來的問題: 我們會把一個自然數稱作3而不是2,就是因 08/02 06:57
→ ericpony:為他不是下一個比1大的自然數.所以當然會有自然數介於13 08/02 06:58
→ ericpony:之間. 你可以查查自然數系的皮亞諾五公理 (Peano axioms) 08/02 07:03