Logicomix [1]. It's a nice comic book focusing on the formalisation of mathematics, starting at the end of the 19th century. This was a foundational quest to s

Logicomix [1]. It's a nice comic book focusing on the formalisation of mathematics, starting at the end of the 19th century. This was a foundational quest to solve paradoxes such as the Russel paradox [2]. This also rised questions such as "can everything be proved"? [1] https://en.wikipedia.org/wiki/Logicomix https://en.wikipedia.org/wiki/Logicomix [2] https://en.wikipedia.org/wiki/Russell%27s_paradox https://en.wikipedia.org/wiki/Russell%27s_paradox