I think it's a bit less deep than that. It's more, "is the language we use to describe mathematics invented or discovered", which I would put myself (and most people) firmly in the invented camp.