(To prove that this rule is admissible, assume a derivation of the premise and induct on it to produce a derivation of n n a t {\displaystyle n\,\,{\mathsf {nat}}} .)
（要证明这个规则是可接纳的，你可以假定这个前提的一个推导，并在其上归纳出生成 n n a t {\displaystyle n\,\,{\mathsf {nat}}} 的推导）。