A Goldbach csak akkor lehetne gödeli ha igaz?

Igy van, és ugyanez vonatkozik a Riemann-sejtésre is. (Bár itt vannak finomságok, pl. a ZFC-ről érdemes feltenni, hogy konzisztens és omega-konzisztens.)