「背理法 直観主義論理」を含む小説

数学少年の楯太郎（じゅんたろう）は高校からの帰り道、交通事故に遭い死んでしまう。 だが楯太郎の前に神が現れた。 「異世界で魔王を倒したら、生き返らせてやる」 言われるがまま異世界…

数学が好きな俺、タカシは、ある日の学校帰り、トラックに轢かれ――異世界に飛ばされた。 そこで出会ったのは、俺と同じく、数学に詳しい少女。 しかし、会話していると何かが食い違う…