Database
REAL AND COMPLEX NUMBERS
Integer sets
Nonnegative integers (as a subset of complex numbers)
6nn0
Next ⟩
7nn0
Metamath Proof Explorer
Ascii
Unicode
Theorem
6nn0
Description:
6 is a nonnegative integer.
(Contributed by
Mario Carneiro
, 19-Apr-2015)
Ref
Expression
Assertion
6nn0
⊢
6
∈
ℕ
0
Proof
Step
Hyp
Ref
Expression
1
6nn
⊢
6
∈
ℕ
2
1
nnnn0i
⊢
6
∈
ℕ
0