Personally I feel its a bit of both. There is the invention portion where you come up with a new concept or area of mathematics (i.e. the invention of sets, algebras, etc.) and define everything and how it interacts, and then there's discovery portion where you figure out everything that logically follows from your starting axioms and definitions.
|