Löb's theorem

Löb's theorem is a result in mathematical logic, particularly in the area concerning formal systems and provability. It deals with self-referential statements in formal systems and is often discussed in the context of Gödel's incompleteness theorems.