数学少女哥德尔不完备定理

喜欢数学、不擅长与人交流的男主角在升上高中后，以为会跟国中时期一样孤单的他在开学当天，遇到了一位同样对数学有兴趣的才女·米尔伽，此后，两人常常在放学后的图书室碰面讨论数学、演练算