En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula "P", se puede demostrar que "si "P" es demostrable entonces "P"", entonces "P" es demostrable.