17/09/19 20:58:40.05 UyL81xox.net
>>375
あ、co-tailの方ですね
ところでもし尻尾の同値類全体にco-tailが存在する場合、一つの箱ですね
というのはもし二つ以上の箱の場合、co-tailの先頭だけ変えた数列も
同じ同値類に入らざるを得ないので
この場合、無限列の箱の位置を示す集合は、
無限公理による集合ωとは全く異なることになりますね
つまり、単に新公理を追加するということではなく
従来公理を否定した上で、別公理を立てることになります
これは昨日の方の主張以上に受け入れられないと思いますよ