前言
归纳法是一个很特别的推理方式。使用自然数的映射。（我的理解可能不太对）
Mathematical induction
数学归纳法
- P(0) is true
- If P(m) is true then so is P(m + 1) for any natural number m. (P(O) & (Vm E w. P(m) =} P(m + 1)) =} Vn E w. P(n).
well define
Q 的非空子集有最小值
induction 举例
BNF 是一个典型的递归定义集合（induction define set） 。 归纳法有个很特别的东西，就是用一个很短的表达式描述一个有限集合
Recursive definitions of sets
举例：
自然数集合：
P(0) = 0 ;
P(N+1) = P(N)+1