Axioms which imply GCH