我们已经给出的自然数定义仅仅含有“后继者”的概念，自然数论述域上“小于”关系，加和乘等运算可用

“后继者”概念的术语加以定义。例如，加法运算能归纳地定义如下：

①对每个自然数m，m+0=m;

②对每一对自然数m和n，m+n'=(m+n)'，

(a)证明用以上定义的加法是可结合的。

(b)用类似方法归纳地定义乘法(可以引用上边定义的加法运算)。

(c)用乘法运算归纳地定义幂运算。

(d)给出关于“小于”的一个归纳定义。