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

高校の入学式の直後、数学に情熱を注ぐ「僕」は、数学の天才・ミルカと出会う。二人は学校の図書室で、優雅な問題と解法について語り合う長い時間を過ごすようになる。一年後、「僕」は一学年下のテトラから数学を教えてほしいと頼まれる。教えるうちに、テトラは数学の美しさを理解し始め、魅了されていく。

数学に魅了されて仲間に加わった従妹のユーリとともに、四人は非公式の数学クラブを作る。彼らはペアノの公理、集合論、基数、カントールの対角線論法へと踏み込み、有名で難解なゲーデルの不完全性定理の理解を目指す。しかし、生活や学校での困難が、数学の美しさで結ばれた友人たちを引き離そうとする。