Sorry. I just think it could also be neither. To me, it doesn't seem to makes sense to say mathematics is out there, waiting to be discovered, because of gode

Sorry. I just think it could also be neither. To me, it doesn't seem to makes sense to say mathematics is out there, waiting to be discovered, because of godel's incompleteness. What would the structure of the mathematics that is waiting to be discovered be? For any of mathematical system, there is a true statement in that system that cannot be proven. If mathematics is out there waiting to be discovered, I don't understand how Godel's incompleteness would stand when applied. I also don't think mathematics is some cultural artifact people invented.