When math is based on abstract concepts, how do we know it’s correct? Dr. Eugenia Cheng takes on that question in a new book.