Es sei ${\displaystyle {}\Gamma }$ die durch das Löb-Axiom gegebene ${\displaystyle {}K}$-Modallogik, also die Beweisbarkeitslogik. Wir setzen

${\displaystyle {}\bot$ :=p\wedge \neg p\,}

(als Abkürzung für einen Widerspruch). Zeige, dass

${\displaystyle \Gamma \vdash \neg \Box \neg \Box \bot \leftrightarrow \neg \Box \bot }$