21/09/27 14:01:20.68 HAEeQRGA.net
>>514
> 決定番号が∞になることなんてない
>→開けてしまえば必ず小さめのを引いてしまう
> ってことではないの?
君がなにいってんのかわからないので、無視して僕が説明するからよく聞け
そもそもいかなる列もその列が属する同値類のいかなる列とも同値であるから
当然一致箇所の先頭位置が存在し、それは自然数nで表される
同値類の代表元は、当然同値類に所属する元であり、
決定番号は代表元との一致箇所の先頭位置だから当然自然数
これを否定するのはそもそも同値類自体を否定する大🐎🦌な行為