First of all, thank you very much for this book! I love it, very easy and fun to read. Few short notes though:
The chapter on symmetries didn’t click with me. It just didn’t feel as a natural part of the book. I didn’t understand why are symmetries important, the historical note ended way too soon.
At several places in the book, it’s being said that the entire math can be built on top of predicate logic and set theory… yet there’s no mention of Nicolas Bourbaki. Come on, this name really should be there :-)
And I’d really love a chapter on category theory, because we don’t build math on top of set theory anymore for a long time, if I understand correctly. Given your ability to clearly explain ZF[C] to someone like me, I bet I’d understand category theory from you too :-)
Anyway, thanks again!