A true $Π^0_1$ sentence independence of PA

Abstract

We give a true $Π^0_1$ sentence $φ$ which is independent of Peano Arithmetic. Moreover, if $\widehatϕ$ denotes its interpretation on $ω$ as a sentence of set theory, then $\widehatϕ$ is a $Π^0_1$ sentence independent of ZFC.