17/09/23 13:45:49.60 oY3/5AOh.net
>>532
>証明は、”41 スレリンク(math板:580-589番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明”(>>11)
で、そのままです
>vii)従って、帰納法により、しっぽの先の共通部分は、決定番号が全ての自然数に渡っても、一つの同値類については、空集合ではない(集合の濃度は可算無限である)。
帰納法からそんな結論は言えません。
「そのまま」ということは「間違いのまま放置」ということですよ?それでいいんですね?