ThmDex – An index of mathematical definitions, results, and conjectures.
P2910
By definition, $|x| = x$ whenever $x \geq 0$. Since $0 \geq 0$, then, in particularly, $|0| = 0$. $\square$