Invariant Subspace Conjecture: A bounded operator on a separable Hilbert space has a non-trivial closed invariant subspace.
Can this conjecture be reformulated as an arithmetic statement, that is, $\Pi^0_n$ statement for some n? (I tried to figure it out, but failed.)