In mathematical logic, Löb's theorem states that in Peano arithmetic, for any formula P, if it is provable in PA that "if P is provable in PA then P is true", then P is provable in PA. If Prov means that the formula P is provable, we may express... Wikipedia