Database
REAL AND COMPLEX NUMBERS
Integer sets
Some properties of specific numbers
0ne2
Next ⟩
1ne2
Metamath Proof Explorer
Ascii
Structured
Theorem
0ne2
Description:
0 is not equal to 2.
(Contributed by
David A. Wheeler
, 8-Dec-2018)
Ref
Expression
Assertion
0ne2
⊢
0 ≠ 2
Proof
Step
Hyp
Ref
Expression
1
2ne0
⊢
2 ≠ 0
2
1
necomi
⊢
0 ≠ 2