Löb's Theorem is theorem proved by Martin Hugo Löb which states:

If PA proves "If Peano arithmetic proves 'X', then X", then Peano arithmetic proves X

Which has consequences for reflective reasoning.