计算题 设个体域为整数集Z，将问题符号化：对于任意的x和y，存在z，使的x+y=z。