Unless I’m missing something, Löb’s theorem is still a theorem of minimal logic, which does not have the principle of explosion.
Unless I’m missing something, Löb’s theorem is still a theorem of minimal logic, which does not have the principle of explosion.