I've learned about group theory and isomorphisms, I've looked into how the incompleteness theorems work in depth in formal education.

All that made me do was run away from math for a while because everything is overwhelming, it feels like learning civil engineering by looking at a giant 18th century cathedral, having to learn every part of how to build it, and then building it yourself, and then moving on to more and more buildings until you can derive how to build a skyscraper by yourself.

Maybe I'm ready to get back into heavy math and should read the book, idk. Maybe I missed the forest for the trees that I've studied, so I missed out on some beauty by trying to analyze how every single tree works.