Mathematical Girls: Godel's Incompleteness Theorems

A mathematically gifted student embarks on a new journey to the mysterious lands of mathematical logic alongside his classmate Milka and his protégée Tetra. Yuuri, his cousin, decides to join the trio of friends in their mathematical endeavors after she becomes enamored with the field. Starting by working on Peano's axioms, set theory, and cardinals, the merry members of the unofficial mathematics club aim to understand the famously difficult incompleteness theorems of Gödel.

However, as life and school hardships threaten to separate the students united by the beauty of mathematics, Tetra’s tutor needs to engage in serious soul-searching if he wants to protect the peaceful connection he has built with the mathematical girls—for life would not be complete without them!