Nuprl Lemma : mFOLvar_wf
∀[n:ℤ]. (vn ∈ ℤ)
Proof
Definitions occuring in Statement :
mFOLvar: vn,
uall: ∀[x:A]. B[x],
member: t ∈ T,
int: ℤ
\mforall{}[n:\mBbbZ{}]. (vn \mmember{} \mBbbZ{})
Date html generated:
2015_07_17-AM-07_53_54
Last ObjectModification:
2015_01_27-AM-10_06_40
Home
Index