I doubt that Mathematica can do this, since it cannot even do the following:
Reduce[ForAll[k, Element[k, PositiveIntegers], Element[2^k, Integers]]]
or this:
Reduce[ForAll[k, Element[k, PositiveIntegers], Element[1/k, Integers]]]
