Mathematical Discovery and Concept Formation