20/09/18 02:51:47.43 NZvoR9YW.net
>>484
いや無限回の行動が有限の時間に終わってるぞ。
無限回の記述に分けたら無限回の行動だろ。
有限の時間には無限の時刻が含まれる。
行動回数は可算で時刻は連続体だから終わらせる方法はいくらでもある。
20/09/18 02:51:47.43 NZvoR9YW.net
>>484
いや無限回の行動が有限の時間に終わってるぞ。
無限回の記述に分けたら無限回の行動だろ。
有限の時間には無限の時刻が含まれる。
行動回数は可算で時刻は連続体だから終わらせる方法はいくらでもある。