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