ThmDex – An index of mathematical definitions, results, and conjectures.
Conjecture C4 on D571: Prime integer
Goldbach conjecture
Formulation 0
Then \begin{equation} \forall \, n \in 2 \mathbb{N} + 4 : \exists \, p, q \in P : n = p + q \end{equation}
Formulation 1
Then \begin{equation} \forall \, n \in 4, 6, 8, 10, \ldots : \exists \, p, q \in P : n = p + q \end{equation}