Is mathematics invented by humans or discovered in nature?