>> つづき

3)
>>279>>286
>>が、同値類全体を考えると、共通の特徴が消えて空φになる??
>→が、同値類全体を考えると、その先が全て0になるような
>「同値類共通のm番目の項」は存在しない

「同値類共通のm番目の項」という考えが、浅はかだな(^^

例えば、
m+1番目の項から先、全て0になるようすれば良い
m+2番目の項から先、全て0になるようすれば良い
 ・
 ・
m+k番目の項から先、全て0になるようすれば良い
m+k+1番目の項から先、全て0になるようすれば良い
m+k+2番目の項から先、全て0になるようすれば良い
 ・
 ・
というようなこと(つまり、自然数の構成類似は)、いくらでも、可能だよ(^^

∵可算無限だから
なお、上記は、下記の”自然数”構成によった!(^^

参考
>>210より再録)
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
自然数の公理
「ペアノの公理」も参照
(略)
・1 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
最後の公理は、数学的帰納法を正当化するものである。また、上の公理に現れる数字は 1 だけであり、自然数 1 からすべての自然数が作り出されることを意味している。
(引用終り)

以上