Девочкиматематики теоремы Гёделя о неполноте

«Я» (Боку) люблю математику. Сразу после церемонии поступления в старшую школу «Я» встречаю красивую девушку: Мируку. Мирука - математический гений. Она дает мне много математических задач; она показывает мне много изящных решений. Мы с Мирукой долго обсуждали математику в школьной библиотеке. Год спустя я встречаю еще одну математическую девушку: Тетру. Тетра на год младше меня и просит меня научить ее математике. Пока я учу ее, она начинает понимать математику и постепенно начинает любить ее изящество. В этом третьем томе (серии) мы говорим о логических головоломках, арифметике Пеано, эпсилон-дельта, диагональном аргументе Кантора, программе Гильберта и теоремах Гёделя о неполноте.