從不改變就一路走下去推導出其它的定理？

我倒是認為那些公理都是一邊篩選，一邊用來推導其它定理，反反覆覆，最後才成型的。

另外我認為任何一個有高級思維的生物（比如說，人），對世界的認識都有從具象到抽象的過程。這種認識過程心理學應該有深入的研究。每個人的對事物的抽象程度會有所不同，也許沒有很明朗，但多多少少都會有 -- 甚至住在大森林裡的原始部落的人也會有，人類學家曾在亞馬遜森林裡做過這方面的調查。

既然能有抽象認識，把它總結寫下來，也就是水到渠成的事，並沒那麼驚天動地。