La congettura di Goldbach afferma che \xabogni numero pari maggiore di 2 \xe8 somma di due numeri primi\xbb. Al momento attuale, non si sa se questo enunciato \xe8 un teorema di PA, n\xe9 se \xe8 vero o falso in N. Dimostrare che, se la congettura di Goldbach \xe8 indecidibile in PA, allora \xe8 vera.