从公理化视角看待自然数及其算术运算