>>677
>１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
>この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
>要するに、些末な順序の議論を避けるために、上記１）〜４）は順不同としよう。

上記の３）、４）の代わりに
５）同値類の代表元の存在
が必要

代表元が存在すれば決定番号（自然数）は存在する
これは同値関係の定義から明らか

スレ主は記事中の同値関係の定義の文章　読んでないのか？