Dependence Logic with Generalized Quantifiers: Axiomatizations