深刻的哲学探讨——《算术基础》