  Given a φ independent of PA which is true in the standard model, will always (PA+ ¬φ) be Σn-unsound for some n?  Given a φ independent of PA which is true in the standard model, will always (PA+ ¬φ) be Σn-unsound for some n? 