>>380
だから任意の無限列xを一番最初に量化したらすべてが台無しだって言ってんだよ
そこがゲームの攻略を∀と∃で定式化するときのキモだろ