In first year QM we postulated $\hat p = -i \hbar \nabla$ and used it to derive that $[\hat x, \hat p]= i \hbar$.
In fourth year QM they postulated $[\hat x, \hat p]= i \hbar$ and used spatial symmetry argments to derive the form of the momentum operator $\hat p$.
Am I correct in thinking that in first year we used an 'overkill' postulate of $\hat p$, and that the minimal axioms of QM would use the fourth year order? Or is it really just different conventions?