Es sei G ⊆ N {\displaystyle {}G\subseteq \mathbb {N} } die Menge der geraden Zahlen ≥ 4 {\displaystyle {}\geq 4} , die die Goldbach-Vermutung erfüllen. Ist diese Menge arithmetisch repräsentierbar?
