莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二

莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二 相同和不同是莱布尼兹片断20中，最为基础的定义。展开莱布尼兹关于普遍演算的设想，余下的定义，公理和公设都不可缺，然后才能开始命题的证明。本篇继续以文本片断20为据，先给出余下的定义3-6，继而给出公理1-2和公设2的部分。 很难想象，这个世界如果没有2000年前《几何原本》的存在，今天会是什么样子。开启人类科学时代的那些如牛顿、莱布尼

>>阅读原文<<