"It takes a huge chunk of this volume just to prove that 1 + 1 = 2. And a large part of that proof revolves around the problems of the finite and the infinite, and the paradoxes that Cantor's work had thrown up."