17/10/14 23:40:20.55 r5EFCImt.net
>>426-427
誤）
「同値類の任意の２つの元には共通の尻尾がある一方
一致番号の上限は存在せず、任意の自然数が一致番号になるので
同値類全体の共通の尻尾は存在し得ない」
正）
「同値類の任意の２つの元には共通の尻尾がある一方
一致番号の上限は存在せず、任意の自然数が一致番号になる
任意の自然数ｎには、常にその後者ｎ＋１が存在する
即ち後者ｎ＋１にその後者ｎ＋２・・となり、つまり、ｎ、ｎ＋２、ｎ＋３、・・となる
∴尻尾に終わりはなく（無限）、空（＝φ）には成り得ない」（＾＾
こっちが正解だよ
この理屈は、ペアノの公理通りなんだ
大人には当たり前だが、小学生には難しいだろうな（＾＾