Use Resolve over custom domain?

Questions
1

Consider the following code:

A = {1,2,3,4}

ForAll[x, Element[A,x], x+1>0 ]
Resolve[%]

The code above gives me this error: Unable to resolve the domain or region membership condition {1,2,3,4}[Element]x.

Thank you for your time

2

There are two issues. One is that the arguments to Element are reversed from what they should be. The other issue (if I am not mistaken) is that Element only understands certain domains. SInce Integers is one such domain, the constraint could be redone as below.

A = {1, 2, 3, 4};
ee = ForAll[x, Element[x, Integers] && 1 <= x <= 4, x + 1 > 0];
Resolve[ee]

(* Out[418]= True *)