Additive inverse

For each \(m\in \mathbb{Z}\), there exists an integer, denoted by \(-m\), such that $$ m+(-m)=0 $$