20/02/11 07:08:42.41 yCL40qf3.net
>>108
そもそも現実世界には無限個の箱はないだろ
あったとしても、実数の無限列ｓ、ｓ’に対して
「ｓとｓ’がある箇所から先一致する」
と判定する手続きがないだろ
（これ言い出すとそもそも尻尾の同値類が
構成できないということになる）
で、上記の同値関係の判定ができたとしても
同値類の代表元ｒ（ｓ）を返す関数ｒが
具体的に構成できないだろ
（ｒは選択公理で存在が云
20/02/11 07:08:42.41 yCL40qf3.net
>>108
そもそも現実世界には無限個の箱はないだろ
あったとしても、実数の無限列ｓ、ｓ’に対して
「ｓとｓ’がある箇所から先一致する」
と判定する手続きがないだろ
（これ言い出すとそもそも尻尾の同値類が
構成できないということになる）
で、上記の同値関係の判定ができたとしても
同値類の代表元ｒ（ｓ）を返す関数ｒが
具体的に構成できないだろ
（ｒは選択公理で存在が云