The set of even natural numbers not expressible as the sum of two primes is finite.
How do you write even numbers in formal language? i'm talking about peanos first order.
n is even iff $\displaystyle \exists m\,(2m=n$)
n is expressible as the sum of two primes iff $\displaystyle \exists m_1\exists m_2\,(\mbox{prime}(m_1)\land \mbox{prime}(m_2)\land n = m_1+m_2)$
The set of natural numbers satisfying a property P is finite iff $\displaystyle \exists n\forall m\,(P(m)\to m<n)$
Try expanding prime(m).