假定α是个任意的ordinal,α+1=α∪﹛α﹜,

台阶

假定α是个任意的ordinal,α+1=α∪﹛α﹜,即α后面的第一个ordinal,the ordinal successor of α。现在定义α+n是α后面的第n个ordinal(n是任意自然数）。证明要么α是limit ordinal,要么存在一个limit ordinal β和一个自然数n使得α=β+n。题目提示用这样一个定理：令（X，≤）为一个woset,令E为X的一个subset使得（1）X中最小的元素是E的一个元素，(2)对于X的任意一个元素x，如果任意y使得[y＜x→y∈]那么x∈E。（1）（2）都满足则E=X
我觉得有β的那种情况下β就是等于α，n=0,α是limit ordinal。我说的对不对？