A matemática foi descoberta ou inventada?