N=? 秦N是最小的归纳集 Wv(V是归纳集)→Ny N={0,1,2,3,…} 对比 自然数是属于每个归纳集的集合 自然数集是包含于每个归纳集的归纳集 《集合论与图论》第10讲 16
《集合论与图论》第10讲 16 N = ? N是最小的归纳集 ∀v( v是归纳集 ) ⇒ N⊆v N = { 0, 1, 2, 3, … } 对比: 自然数 是 属于每个归纳集的集合 自然数集是包含于每个归纳集的归纳集
后继函数 后继函数o:N入N,vn∈N,G(n)=n 例:o(0)=0=1, (1)=11=2=0+, 0(2)=2=3=1=0 十+十 # 《集合论与图论》第10讲
《集合论与图论》第10讲 17 后继函数 后继函数σ: σ:N→N, ∀n∈N, σ(n)=n+ 例: σ(0) = 0+ = 1, σ(1) = 1+ = 2 = 0++, σ(2) = 2+ = 3 = 1++ = 0+++, …… #