El teorema de Löb (en una forma general) establece que para todo sistema reflexivo del tipo 4, si Bp→p es demostrable en el sistema, también lo es p.