强归纳法原理

设 是非负整数 的子集，具有以下性质：(1) 整数 0 在 中；(2) 任何时候区间 包含在 中，可以证明 也 在 中。在这些条件下，。