逻辑关于形式的规则

严格根据形式规则往下走。或者根据程序往下走。程序本身比内容重要得多。

逻辑学就是关于思维形式的逻辑。中国的语言一开始用甲乙丙丁就比ABCD难形式化了不少。形式化容易抽象。类似：

所有的M都是S，所有的P都是M，因此所有的P都是S
如果P则Q，非Q，非P

这些在古代中国几乎看不见。中国人不重视形式而重视所谓的内容，结果一开始就开始了“辩证”，就有了“白马非马”的“高等数学”。可是那时候连最起码的“初等数学”都还没建立起来呢。