设 $𝑃$ 是关于 [定义] 项的集合 中有限项的一个性质。如果下面三条都成立：

1. $𝑃\left(\text{true}\right)$、$𝑃\left(\text{false}\right)$、$𝑃\left(0\right)$；
2. 对任意项 ${𝑡}_1$，由 $𝑃\left({𝑡}_1\right)$ 能推出 $𝑃\left(\text{succ }{𝑡}_1\right)$、$𝑃\left(\text{pred }{𝑡}_1\right)$、$𝑃\left(\text{iszero }{𝑡}_1\right)$；
3. 对任意项 ${𝑡}_1,{𝑡}_2,{𝑡}_3$，由 $𝑃\left({𝑡}_1\right)$、$𝑃\left({𝑡}_2\right)$、$𝑃\left({𝑡}_3\right)$ 能推出 $𝑃\left(\text{if }{𝑡}_1\text{ then }{𝑡}_2\text{ else }{𝑡}_3\right)$，

那么对所有项 $𝑡$，$𝑃\left(𝑡\right)$ 成立。