Logic leaves us no choice. In that sense, math always...

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.