>>714
＞プロテクトが効いてない
なんかわけわかんないこといってるって自覚ある？
＞内側にある∀は絶対に開けられないって言ってるの
なんかわけわかんないこといってるって自覚ある？
外でも内でも全称は全称だけどな

∀ｘ∃ｙと書いたら、ｘが先だからｙはｘに依存するけど
∃ｙ∀ｘと書いたら、ｙが先だからｙはｘとは無関係に決まる

プロテクト？開けられない？全然関係ないよ

＞外側にある∀の中身を見てないというなら内側に入れられるだろ
なんかわけわかんないこといってるって自覚ある？

上で示したように、∃ｙのｙが何にも依存しないなら、最初に書ける
そうじゃなくて、ある変数ｘに依存して決まるのなら、∀ｘが先に書かれる

「箱入り無数目」の場合、例えば、無限列の同値類の代表元や決定番号は
無限列に依存するから、無限列をｘとすれば、∀ｘと書くことになる

まあ、関数ｆで書くなら、∃ｆが一番左だけどね
それでいいなら、そうすればいいんじゃね？

でもそれプロテクトとかじゃないけどね
∀で、引数を指定してるから、まあ見てるって言い方になるけど
決定番号はともかく、代表は、無限列の全部の項を∀で束縛する必要ないよ
ここ、「箱入り無数目」では大事なポイントだけど、全然わかってなくて
「無限列ｘの同値類の代表ｒを知るには、無限列の全部の項を知る必要がある！」
って嘘八百を再三叫ぶ人がいるね　頭悪いよ　大学数学は無理かな