"Logic leaves us no choice. In that sense, math always involves both invention and discovery: we invent the concepts but discover their consequences. â€¦ in mathematics our freedom lies in the questions we ask â€“ and in how we pursue them â€“ but not in the answers awaiting us."