この世界では、証明できないものは存在しない。 無限は扱えない。 虚数は存在しない。 「なんで？」と問うことすら、許されていない。 少年エリアスは、その一言で「未証明者」として排除される。 教育から外され、数に触れることを禁じられた彼が拾ったのは、 誰にも証明されていない数式だった。 i² = -1 存在しないはずのそれは、 なぜか世界を最も正確に説明する。 これは、未証明のものを捨てなかった、一人の少年の物語。