萊布尼茲「邏輯加」等詞項定義、還有公理和公設-邏輯與算法之十二

萊布尼茲「邏輯加」等詞項定義、還有公理和公設-邏輯與算法之十二 相同和不同是萊布尼茲片斷20中，最爲基礎的定義。展開萊布尼茲關於普遍演算的設想，餘下的定義，公理和公設都不可缺，然後才能開始命題的證明。本篇繼續以文本片斷20爲據，先給出餘下的定義3-6，繼而給出公理1-2和公設2的部分。 很難想象，這個世界如果沒有2000年前《幾何原本》的存在，今天會是什麼樣子。開啓人類科學時代的那些如牛頓、萊布尼

>>阅读原文<<