This is a really nice idea. Le Livre de l’Incomplétude (The Book of Incompleteness) is an “artistic appropriation of Gödel’s incompleteness theorem,” initiated by artist Débora Bertol. The superficial understanding of that theorem is that every consistent formal theory contains truths which can’t be proved inside that theory, so the book’s conceit is that it will catalogue as many different arithmetic formulas as possible that evaluate to each of the numbers 0, 1, 2, 3, 4, 5, 6, 7, 8, and 9.
I think it’s a really charming take on one of the most abstract and hard-to-understand subjects in maths.