如果公理体系都费脑子 那多半是这个体系有问题

就像围棋为什么有特殊的美感
因为他的规则体系有唯一性 形成某种最小冗余
而其他都有太多 非必要/可替换 的假设

【 在 YaIBa 的大作中提到: 】
: 道可道非常道
: 费脑子
--
修改:computec FROM 222.129.7.*
FROM 222.129.7.*