I prefer my answer too (obviously). One problem with all of this is that I think TTT's (implied) definition of "discovered" is too all-encompassing to be useful. The most helpful way, in my opinion at least, to think of this is that we "invent" the starting points -- the axioms -- in mathematics, as well as the notation required to represent concepts in these...