---

Step * of Lemma mFOL-proveable-formula-evidence-ext2

∀[fmla:mFOL()]. (mFOL-proveable-formula(fmla) ⇒ mFOL-evidence(fmla))
BY
{ ... }

---

Latex:


\mforall{}[fmla:mFOL()].  (mFOL-proveable-formula(fmla)  {}\mRightarrow{}  mFOL-evidence(fmla))


By

...

---

Home Index