Since the Goldbach conjecture is in $\Pi_1^0$, if it were proven to be independent of Peano Arithmetic, it would follow that the Goldbach conjecture is true (i.e. true in the standard model), since informally speaking, if it were indeed false, we would have a counterexample of the Goldbach conjecture, contradicting the claim that the Goldbach conjecture is independent.
This argument initially lead me to the intuition that quantifiers (or at least $\forall$, I'm not sure if this method equally applies for statements in $\Sigma^0_1$) allow us to remove a single level of undecidability, turning it into negation, but still leaving the possibility that, the decidability of the Goldbach conjecture could be undecidable, leaving us no metamathematical proof of the truth of the Goldbach conjecture. However, how this argument works for other statements in the arithmetical hierarchy is not clear to me.
Certainly in $\Pi^0_0$, nothing can be done to reduce independence to truth or falsity via metamathematical means, so statements in $\Pi^0_0$ proven to be independent are "actually independent". However, I run into problems thinking about $\Pi^0_n$ for $ n > 1 $. My initial thought was that possibly, building on my intuition, $\Pi^0_n$ statements should reduce "n-fold undecidability" to truth, but this intuition does not seem to be correct. For example, this answer to a math overflow question claims that since the twin primes conjecture is a $\Pi^0_2$ statement, "Neither it nor its negation are obviously true if verified independent", plus, if I am interpreting this other answer correctly, we cannot actually prove n-fold undecidability for $n > 1$. My question then is, what are the possibilities for a general statement in $\Pi_n^0$ which has been proven to be independent? When can we reduce such a statement to truth or falsity using metamathematical means, and when can we say that it is "absolutely undecidable"?
