Nuprl Definition : nat_plus
ℕ+ == {i:ℤ| 0 < i}
Definitions occuring in Statement :
less_than: a < b,
set: {x:A| B[x]} ,
natural_number: $n,
int: ℤ
Definitions occuring in definition :
set: {x:A| B[x]} ,
int: ℤ,
less_than: a < b,
natural_number: $n
FDL editor aliases :
nat_plus
Latex:
\mBbbN{}\msupplus{} == \{i:\mBbbZ{}| 0 < i\}
Date html generated:
2016_05_13-PM-03_32_08
Last ObjectModification:
2015_09_22-PM-05_44_53
Theory : arithmetic
Home
Index