Existence and Uniqueness of Greatest Common Divisors in $\mathbb{Z}$