数学少年の楯太郎(じゅんたろう)は高校からの帰り道、交通事故に遭い死んでしまう。 だが楯太郎の前に神が現れた。 「異世界で魔王を倒したら、生き返らせてやる」 言われるがまま異世界に旅立った楯太郎は、出会った少女との会話の中で、衝撃的な事実を知る。 この世界には、高度な数学がある。だが、どういうわけか「背理法」がない。なんとここは、現実世界の論理とは異なる「直観主義論理」が使われているらしい! 全く異なる論理を持つ人々を相手にしつつ、楯太郎は数学を駆使して魔王討伐を目指す。 ※本作は、同名の短編小説の設定を変更し、長編化した作品です。
