"Starting with definitions" is the opposite of the language-less, intuitive way of understanding something. It means precisely that one has been provided with an effective formal language for the domain. The fact that you rederive some minor parts surely helps, but students don't routinely rediscover QM from scratch.