Nuprl Definition : PZF-Form
PZF-Form(C) == {f:Form(C)| (↑wfForm(f)) ∧ (↑SafeForm(f))}
Definitions occuring in Statement :
SafeForm: SafeForm(f),
wfForm: wfForm(f),
Form: Form(C),
assert: ↑b,
and: P ∧ Q,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
Form: Form(C),
and: P ∧ Q,
wfForm: wfForm(f),
assert: ↑b,
SafeForm: SafeForm(f)
FDL editor aliases :
PZF-Form
PZF-Form
Latex:
PZF-Form(C) == \{f:Form(C)| (\muparrow{}wfForm(f)) \mwedge{} (\muparrow{}SafeForm(f))\}
Date html generated:
2018_05_21-PM-11_36_23
Last ObjectModification:
2017_10_12-PM-02_55_30
Theory : PZF
Home
Index