Assume that \(F \vdash \neg G_F\). Then \(F\) cannot prove \(G_F\), for otherwise \(F\) would be simply inconsistent. Hence no natural number \(\boldsymbol{n}\) is the Gödel number of a proof of \(G_F\), and because the proof relation is strongly representable, for all \(\boldsymbol{n}\), \(F \vdash \neg\Prf_F (\underline{n}, \ulcorner G_F\urcorner)\). If also \(F \vdash \exists x\Prf_F (x, \ulcorner G_F\urcorner)\), \(F\) is not 1-consistent, against the assumption. Therefore \(F\) does not pr