原文:《算术基础》对我们这个定义的补充和证明