What Is Mathematics? The Greatest Detective Story Never Told