In this paper we use the framework of generalized probabilistic theories to present two sets of basic assumptions, called axioms, for which we show that they lead to the Hilbert space formulation of quantum mechanics. The key results in this derivation are the co-ordinatization of generalized geometries and a theorem of Soler which characterizes Hilbert spaces among the orthomodular spaces. A generalized Wigner theorem is applied to reduce some of the assumptions of the theorem of Soler to the theory of symmetry in quantum mechanics. Since this reduction is only partial we also point out the remaining open questions.