>>318
> 任意の整数ｙに対して、ｘ＋ｙ＝ｙなり整数ｘが存在しますか？

大体おｋ．
読点の位置がちょっと誤解を招きそう．
「任意の整数yに対してx+y=y」を満たす整数xが存在する，という主張は正しいか？
のようにまとまっている部分を「」でくくると分かりやすい．

そんで答えは>>316．