数学ガール ゲーデルの不完全性定理

（マンガ：数学ガール／ゲーデルの不完全性定理）
「僕」は数学が好きだ。高校の入学式の直後、「僕」は美しい少女、ミルカに出会う。ミルカは数学の天才だ。彼女は僕にたくさんの数学の問題を出し、たくさんのエレガントな解法を見せてくれる。ミルカと僕は学校の図書館で数学について長い時間をかけて議論する。


一年後、僕はもう一人の数学好きな少女、テトラに出会う。テトラは僕より一つ年下で、僕に数学を教えてほしいと頼む。僕が彼女に教えるうちに、彼女は徐々に数学を理解し、そのエレガントさを愛し始める。


第3巻（シリーズ）では、論理パズル、ペアノ算術、イプシロン-デルタ、カントールの対角線論法、ヒルベルトのプログラム、そしてゲーデルの不完全性定理について語り合う。