Nuprl Lemma : AbstractFOFormula_wf
AbstractFOFormula ∈ 𝕌'
Proof
Definitions occuring in Statement :
AbstractFOFormula: AbstractFOFormula,
member: t ∈ T,
universe: Type
Lemmas :
FOStruct_wf,
FOAssignment_wf
AbstractFOFormula \mmember{} \mBbbU{}'
Date html generated:
2015_07_17-AM-07_53_11
Last ObjectModification:
2015_01_27-AM-10_07_10
Home
Index