3 ms·PS. The reason that ¬I’mUnprovable ⇒ ⊥ is also ByTheoremUse {⊢∀[Φ] (⊢Φ)⇒Φ}.by ProfHewitt 5y agoPS. The reason that ¬I’mUnprovable ⇒ ⊥ is also ByTheoremUse {⊢∀[Φ] (⊢Φ)⇒Φ}.