 For the second half, it has to be assumed that \(F\) is 1-consistent (if \(\Prov_F (\ulcorner G_F\urcorner)\) has been chosen such that it is a \(\Sigma^{0}_1\)-sentence; otherwise, the more general assumption of \(\omega\)-consistency is needed).