Identity element for addition

There exists an integer \(0\) such that whenever \(m\in \mathbb{Z}\), $$ m+0=m $$