異世界に行ったら背理法がなかった

数学少年の楯太郎（じゅんたろう）は高校からの帰り道、交通事故に遭い死んでしまう。
だが楯太郎の前に神が現れた。
「異世界で魔王を倒したら、生き返らせてやる」
言われるがまま異世界に旅立った楯太郎は、出会った少女との会話の中で、衝撃的な事実を知る。
この世界には、高度な数学がある。だが、どういうわけか「背理法」がない。なんとここは、現実世界の論理とは異なる「直観主義論理」が使われているらしい！

全く異なる論理を持つ人々を相手にしつつ、楯太郎は数学を駆使して魔王討伐を目指す。


※本作は、同名の短編小説の設定を変更し、長編化した作品です。