基础集合论 第三章 2 自然数集

后继

对于任意集合 $a,$ 称 $a \cup \{ a \}$ 为 $a$ 的后继，记作 $a^+:$
$a^+ = a \cup \{a\}$
易知 $a \in a ^+, a \subseteq a ^+,$
定义 $0 = \emptyset , 1 = 0^+, 2 = 1^+, ...$

定理 1

$0$ 不是任何集合的后继， 即 $\forall a ( a^+ \ne 0 )$

证明：

$a \in a ^+$

归纳集

对于集合 $A$ ，当且仅当：
1. $0 \in A$
2.