This seems like an isomorphism of "is math invented or discovered"?
https://philosophy.stackexchange.com/questions/1/is-mathemat...