For the second one, I can prove the uniqueness easily. But proving the existence is more difficult to me.

I want to prove that there exists a gcd of just a,b because then I could extend that out easily to gcd(gcd(a,b), c).

So now I just need to know how can I prove that there exists a gcd of a and b?