>>975
>∀xFx→∀xGx
君のこの主張は
∀xFx→∀yGy
と同じことだよ?w
もちろん偽です。x=0,y=1が反例w

君、変数のスコープって知らないの?