Proving that $\mathbb{N}_{\text{even}}$ is not definable in $\langle \mathbb{N},<\rangle$

143 Views Asked by At

I'm looking for a simple proof (or a reference) for the following claim:

The set of even natural numbers is not definable in the structure $\langle \mathbb{N},<\rangle$.

Thanks