Resolve[Exists[x,1-x^2>0]]