It is not the case that G_F is provably equivalent to the universal formula ∀x¬Prf_F(x, ⌈G_F⌉) when the provability predicate Prov_F(x) is chosen as a Σ⁰₁-formula
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.