‘公理’只是假设而已。‘公理’并不等于伟大或者更接近所谓的‘真理’。

‘公理’中，有美的，有丑的，有有用的，有没啥用的。有能表达一般性的，有拘泥于某个具体问题的。

要把《九章》里的算法说成是公理，首先要把那些算法用尽量抽象的语言表达出来。然后才能衡量其美丑和有用无用。