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