Debate on the Discovery vs. Invention of Mathematics