---

Step * of Lemma weakly-infinite_wf

∀[S:ℕ ⟶ ℙ]. (w∃∞x.S[x] ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[S:\mBbbN{}  {}\mrightarrow{}  \mBbbP{}].  (w\mexists{}\minfty{}x.S[x]  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index