Are there concrete exapmples of Sigma_1 or Pi_1 Diophantine equations whose validity (in N) is known to be independent of PA or ZFC? Thank you, JP