19/10/14 10:44:43 w6tqRMw5.net
>>416
＞∋で列をつくるんだからω’∋ａとなるａを示せなくては意味がない
その批判は、半分は正しい
下記の順序数 注釈2の 批判と類似だね
だが、順序型の概念を使うことで回避できて、
ノイマンとツェルメロは、順序同型になる
だから、ツェルメロを使って、同じことができるって話になるんだ（下記「自然数」ご参照）
URLﾘﾝｸ(ja.wikipedia.org)
順序数
注釈
2^ 順序数は本来、上で述べた定義とは異なる仕方で定義されていた。その定義とは、順序集合全体の集まりを「同型である」という "同値関係" によって類別したとき、順序集合 (A, <) の "同値類" を (A, <) の順序型（order type）と呼び、特に整列集合の順序型を順序数と呼ぶというものである。
ところが現代の標準的な集合論においては、A が空集合でない限り (A, <) と同型な順序集合全体の集合といったものは存在しないことが示される。
したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。
これを克服するために考えられたのが上で述べた定義であり、現在は上の定義（あるいはそれと同値な定義）が広く用いられている。
だが、順序型というアイデア自体が排除されたわけではない。
順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
ただし、整列集合の順序型と順序数は別のものになる。
詳細は「順序型」を参照。
つづく