Difference between ZFC and ZF+GCH I hear that the axiom of choice (AC) derives from 
The generalized continuum hypothesis(GCH).
And also hear that both AC and GCH are independent of 
Zermelo–Fraenkel set theory(ZF).
So, I'm just curious why don't expert mathematicians use ZF+GCH 
instead of ZF+AC(ZFC).
 A: There are two distinct questions that you might be asking.


*

*Why has the mathematical community adopted ZFC as a standard foundation and not ZF+GCH?


*What mathematical and philosophical arguments can be advanced for and against adopting AC and/or GCH as a fundamental axiom?

Much as we might like to believe that the reason for the sociological acceptance of ZFC is that there are strong rational arguments for it, and that mathematicians accept those strong rational arguments because mathematicians are strongly rational, I do not believe that this is true.  I believe that ZFC has been adopted as the standard largely for historical reasons.  At some point, the mathematical community recognized the value of having some standard, because it would demonstrate that all of mathematics could in principle be formalized in a single system that avoided all the known paradoxes, and ZFC just happened to show up at the right place at the right time.  I suspect that various other candidates could have "landed the job," including ZF + V=L, or even Z + C, and that ZFC was just a bit lucky.
After a choice was made, most of the mathematical community lost interest in foundations and so had no real interest in tinkering with this or that axiom to get "better" foundations.  I don't think that ZF+GCH was ever a serious contender, because GCH was still considered an open problem by the time ZFC had already secured its status as "the" foundation.  If a statement X is considered an "open problem" then people generally do not also consider X to be a candidate for a basic axiom.  By the time the independence of GCH was established, it was too late to apply for the job.
Having said all that, I should add that if by "expert mathematicians" you mean experts in set theory, then the question is a bit different, because set theorists are more interested in these sorts of questions than the mathematical community as a whole is.  Some of them will tell you that they reject GCH as an axiom simply because they don't believe that GCH is true.  Still, even among set theorists, a sizable proportion take what you might call a "pragmatic" approach.  They care mostly about whether the standard base theory is a technically convenient one for the investigations that they are interested in.  Then the considerations that Asaf Karagila mentions come into play.  GCH just isn't the most natural or convenient axiom to use for most things that set theorists currently care about.  If it does happen to be useful in a certain context then they won't hesitate to assume it, but such occasions don't come up that often.  (By the way, often Martin's axiom turns out to be what you really need when you might think you need CH.)
A: In some sense $\sf GCH$ is a limiting axiom. While it solves a lot of things, it also means that certain things we are interested in become false or trivialized. And that's no fun.
For example, forcing axioms like $\sf MA$ become trivial assuming even just $\sf CH$, and stronger forcing axioms like $\sf PFA,MM$ and others become false (since they imply $2^{\aleph_0}=\aleph_2$).
So while $\sf GCH$ gives us more power in terms of implications, it also gives us more constraints. On the other hand the axiom of choice gives us a lot of power, since it helps tame infinite objects, but it leaves enough space to other axioms to develop.
And since you're asking, we can take this question one step further. $\sf GCH$ can be derived from the axiom $V=L$ (Godel's axiom of constructibility), so why aren't we just assuming it and that's that? Well, essentially the same answer. While it has a lot of merits, it also imposes a lot of constraints, more than we might want to assume.

Here's another (perhaps a better) argument in favor of $\sf AC$ and against $V=L$ and $\sf GCH$.
When working over $\sf ZF$ and you use forcing, then once you force $\sf AC$ to be true, it will remain true in every other generic extension, whereas $V=L$ is immediately false once you add any new sets to the model, and will never again be true if you only allow yourself generic extensions; and $\sf GCH$ is like a switch that we can turn on and off using [possibly class-] generic extensions.
So this is a very good argument in favor of the axiom of choice. It is stable under forcing, which is a lovely technique. On the other hand, limiting yourself to $\sf GCH$ makes forcing more difficult (because you will always have to ensure that the forcing does not violate that), and insisting on $V=L$ will make forcing outright impossible.
A: Warning: naive answer follows. I think AC is more intuitively true than GCH. Also, I believe, AC is more indispensable for mathematics than GCH. For example, there are many equivalent forms of AC within ZF that come up naturally, such as the Zorn lemma or the well-ordering principle.
