In mathematical context, or in the context of mathematical logic, is there a difference between:
This is valid for each x.
and
This is valid for all x.
?
If both have the same meaning, which is preferable?
Both are valid here, as is 'every' as GEdgar mentions.
I would suggest that 'every' and 'all' are slightly more grammatical in this usage.
X
, for everyX
, for allX
are standard ways to express the universal (∀) quantifier, while someX
, (at least) oneX
, and there exist(s) (an)X
are standard ways to espress the existential (∃) quantifier. These two are what McCawley calls "the logicians' favorite quantifiers", though there's lots more quantifiers than that in every natural language.