放弃 如圖，第一問讓説明如何開始構造這樣一個γ-woset, 并且説明所有y-woset都必然有相同的initial segment。
由選擇公理，存在一個選擇函數γ: {S: S是Z的真子集} --> Z,
樓主直觀的想法就是：S是良序的，所以有極小元a, 將S中所有元素排序，a < b < ... < 考慮{a}, 若a有嚴格上界，取嚴格上界集合的極小元（因爲S是良序的），就是b, 把它加入到這個集合中，依次重複這個操作，直到沒有嚴格上界就終止，問題是這裏並不知道選擇函數有γ(a) = b，所以似乎行不通。
考慮非單點集的良序集S，首先選取S的極小元a, 對於{a}，由選擇函數a = γ({b∈S：b < a}) = γ({}), 接下來怎麽辦？
由選擇公理，存在一個選擇函數γ: {S: S是Z的真子集} --> Z,
樓主直觀的想法就是：S是良序的，所以有極小元a, 將S中所有元素排序，a < b < ... < 考慮{a}, 若a有嚴格上界，取嚴格上界集合的極小元（因爲S是良序的），就是b, 把它加入到這個集合中，依次重複這個操作，直到沒有嚴格上界就終止，問題是這裏並不知道選擇函數有γ(a) = b，所以似乎行不通。
考慮非單點集的良序集S，首先選取S的極小元a, 對於{a}，由選擇函數a = γ({b∈S：b < a}) = γ({}), 接下來怎麽辦？
