Concerning the relationship between formal mathematical definitions of mathematical concepts and the intutitive origins of these concepts, I recommend Feferman, Solomon. "Mathematical intuition vs. mathematical monsters." Synthese 125, no. 3 (2000): 317-332.