Nuprl Definition : Russell
Russell == {T:Type ⋂ Base| ¬(T ∈ T)}
Definitions occuring in Statement :
isect2: T1 ⋂ T2,
not: ¬A,
member: t ∈ T,
set: {x:A| B[x]} ,
base: Base,
universe: Type
Definitions occuring in definition :
set: {x:A| B[x]} ,
isect2: T1 ⋂ T2,
universe: Type,
base: Base,
not: ¬A,
member: t ∈ T
FDL editor aliases :
Russell
Latex:
Russell == \{T:Type \mcap{} Base| \mneg{}(T \mmember{} T)\}
Date html generated:
2016_05_15-PM-01_43_51
Last ObjectModification:
2015_09_23-AM-07_36_57
Theory : basic
Home
Index