21/05/23 15:14:51.81 v1UiZ3zv.net
>>343 補足
(引用開始)
URLﾘﾝｸ(en.wikipedia.org)
Ordinal number
An ordinal number is used to describe the order type of a well-ordered set (though this does not work for a well-ordered proper class). A well-ordered set is a set with a relation < such that:
(Trichotomy)
・x < y
・y < x
・x = y
Successor and limit ordinals
So in the following sequence:
0, 1, 2, …, ω, ω+1
ω is a limit ordinal because for any smaller ordinal (in this example, a natural number) there is another ordinal (natural number) larger than it, but still less than ω.
(引用終り)
1．列 0, 1, 2, …, ω, ω+1 は無限長である。
2．カンマ”,”のところに、”<”を入れる（これは定義の通りである）
3．0< 1< 2< …< ω< ω+1
4．何の不思議も支障もない。もともと、
この列は”well-ordered set is a set with a relation <”
として定義されているのだから。定義の通りである。何の不思議も支障もない（＾＾
以上