Is mathematics invented or discovered?