21/10/15 20:50:41.51 hUrbFxCT.net
>>282
(引用終り)
順序数
URLﾘﾝｸ(ja.wikipedia.org)
「O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。
そこで、∪ O を sup(O) とも書く。」
(引用終り)
1．誤読だよ、そこ。その引用の順序数 wikipedia 冒頭には、「順序数とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である」とあって
注釈があるだろ？ 脚注 1^ 本項目では、各自然数が自分自身より小さな自然数全体の集合と等しくなるような仕方で自然数が定義されているものとする。例えば、0 = ? , 1 = { 0 } , 2 = { 0, 1 } である。
2．そして、あんたの引用は正確には、順序数の大小関係の章の
”3. α が順序数のとき、S(α) := α ∪ { α } は α より