"let x be a real number. Then x^2+1 does not equal 0."
"For all x in lR, x^2+1 does not equal 0"
As far as I know, both of these statements mean exactly the same thing. From a grammatical perspective, in the first statement, x is singular ("a real number"), while in the second, x appears...