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