摘要： 这一篇帖子主要介绍人类如何从一个基于几何直观或直觉的计算技巧或计算方法，进化到逻辑基础严密的公理体系的例子，想说明人类抽象的另外一个方向：语言抽象（结构抽象已经在介绍伽罗华群论时介绍过）。 为了让非数学专业的人能够看下去，采用了大量描述性语言，所以严谨是谈不上的，只能算瞎扯。 现 阅读全文