 If the arithmetized provability predicate indeed satisfies these conditions, the second theorem can be proved. Let \(G_F\) once again be the Gödel sentence for \(F\) given by the first theorem. It is not too difficult to show, using the derivability conditions, that: