用N(x)表示：x是自然数，那么自然数的平方和大于0可表示为：∀x∀y(N(x)^2+N(y)^2>0)
a2+b2﹥0（a、b为不相等的自然数）
∀a,b∈N(a b>0),∃(a^2) (b^2)>0. 望采纳。
