20/02/11 20:20:51.04 yCL40qf3.net
>>211
＞シッポの同値類で、列の長さ有限の 0～L番の箱で考えます
＞そうすると、上記の先頭側の同値類と同じで、最後のL番目の箱で決まる
しかし、L→∞としても、「∞番目の箱で決まる」とはいえませんね
∞は自然数じゃないので、∞番目の箱は存在しませんから
20/02/11 20:20:51.04 yCL40qf3.net
>>211
＞シッポの同値類で、列の長さ有限の 0～L番の箱で考えます
＞そうすると、上記の先頭側の同値類と同じで、最後のL番目の箱で決まる
しかし、L→∞としても、「∞番目の箱で決まる」とはいえませんね
∞は自然数じゃないので、∞番目の箱は存在しませんから