Suugaku Girl: Godel no Fukanzensei Teiri  

Mathematical Girls: Godel's Incompleteness Theorems, 数学ガール ゲーデルの不完全性定理

I appreciate mathematics as well. after my high school entrance ceremony, i encountered a remarkable individual named milka. she was an exceptional mathematician who presented me with numerous mathematical problems and demonstrated elegant solutions. milka and i spent considerable time discussing math in the school library. a year later, i met another brilliant mathematician: tetra. though she was one year younger than me, she requested my assistance in learning mathematics. as we taught her, she gradually came to appreciate its beauty and complexity. in our third series of discussions, we delved into topics such as logic puzzles, peano arithmetic, epsilon-delta definitions, cantor's diagonal argument, hilbert's program, and gödel's incompleteness theorems.