I have to say I was surprised by that statement, but, thinking of it... Category theory and Type theory are replacing Set theory as the fundamental basis of Ma

I have to say I was surprised by that statement, but, thinking of it... Category theory and Type theory are replacing Set theory as the fundamental basis of Math, or at least it's fashionable to try to do so, and the book revolves around the Whitehead and Russel set theoretic work and Godel's deconstruction thereof. Which isn't to say that Category theory or whatever are immune to Godel's theorems, I have no idea how those would translate, and my gut tells me that they would have roughly the same outcome. But yeah, anyways, wonderful exposition of the kind of extremely bare-bones framework fundamental mathematicians operate in, magnificient demonstration of what recursive and self-referential structures imply, and overall a great read.