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.