Rewrite each statement without using variables or the symbol ; or '. indicate whether the statement is true or false.
a. ∀ real numbers x, Ǝ a real number y such that x + y = 0