我用自己简单的语言来描述它的构造,它由ℵ0→ℵ1→ℵ2→...(ℵ₀个阿列夫数)...→ℵω,ℵω+1→ℵω+2→ℵω+3→...(ω+ω个ℵω+n)...→ℵω·2,ℵω·1→ℵω·2→ℵω·3→...(ε0个ℵ0)...→ℵω·ω,ℵ1ω1→ℵ1ω2→ℵ3ω3→...(ω·ω个ℵω)...→ℵωωω......,
我再写一遍,以陈述它的开始到结束的叠加,从阿列夫开始,写出阿列夫一<<阿列夫二<<<<……<<<<阿列夫无限<<<<<<阿列夫阿列夫一<<<<<阿列夫阿列夫二<<<<<<…………<<<<<阿列夫阿列夫无限<<<<<阿列夫阿列夫阿列夫一<<<<<……无限重复……=最小的阿列夫不动点<<<<<<<<…………<<<<<<<不动点堆叠<<<<<<…………<<<<<<<不动点的极限Ф<<<<<<<<…………<<<<<<<<<<不可达基数,直到不可达基数K;然而ℵ1=2^ℵ0,且阿列夫不动点是指在超穷基数序列中满足κ=ℵκ的基数κ,而阿列夫不动点极限是Φ 。而弱不可达基数是满足以下三个条件的基数k,分别是
不可数(κ > ℵ₀);
正则性(cf(κ) = κ,即无法通过少于κ个更小基数的并集逼近);
极限基数(非后继基数,即不存在基数λ使κ = λ⁺)。这强不可达基数则是在弱不可达基数的基础上,额外要求κ是强极限基数(即对任意λ < κ,有2^λ < κ)。以上便是太阳鸟的构成。
我再写一遍,以陈述它的开始到结束的叠加,从阿列夫开始,写出阿列夫一<<阿列夫二<<<<……<<<<阿列夫无限<<<<<<阿列夫阿列夫一<<<<<阿列夫阿列夫二<<<<<<…………<<<<<阿列夫阿列夫无限<<<<<阿列夫阿列夫阿列夫一<<<<<……无限重复……=最小的阿列夫不动点<<<<<<<<…………<<<<<<<不动点堆叠<<<<<<…………<<<<<<<不动点的极限Ф<<<<<<<<…………<<<<<<<<<<不可达基数,直到不可达基数K;然而ℵ1=2^ℵ0,且阿列夫不动点是指在超穷基数序列中满足κ=ℵκ的基数κ,而阿列夫不动点极限是Φ 。而弱不可达基数是满足以下三个条件的基数k,分别是
不可数(κ > ℵ₀);
正则性(cf(κ) = κ,即无法通过少于κ个更小基数的并集逼近);
极限基数(非后继基数,即不存在基数λ使κ = λ⁺)。这强不可达基数则是在弱不可达基数的基础上,额外要求κ是强极限基数(即对任意λ < κ,有2^λ < κ)。以上便是太阳鸟的构成。