从不改变就一路走下去推导出其它的定理？

我倒是认为那些公理都是一边筛选，一边用来推导其它定理，反反复复，最后才成型的。

另外我认为任何一个有高级思维的生物（比如说，人），对世界的认识都有从具象到抽象的过程。这种认识过程心理学应该有深入的研究。每个人的对事物的抽象程度会有所不同，也许没有很明朗，但多多少少都会有 -- 甚至住在大森林里的原始部落的人也会有，人类学家曾在亚马逊森林里做过这方面的调查。

既然能有抽象认识，把它总结写下来，也就是水到渠成的事，并没那么惊天动地。