在这个世界里，人类的信念与生活方式会化为异能——命题。黒瀬零进入研究世界法则的帝都神律大学，他的命题是未证明，能够暂时保留世界强加给他的结论。然而，他心中有一段无人相信的记忆：三年前，他有一个妹妹黒瀬灯，但照片、户籍、他人的记忆中都找不到她的痕迹。世界的一切记录都证明她从未存在，唯独零没有忘记。 为了证明妹妹的存在，零追查大学隐藏的谜团，终于抵达了正式记录中不存在的第零学部。在那里等待他的，是另一个黒瀬零——对方宣告，正是他亲手将灯从世界中抹除。到底谁才是真正的本尊？抹消灯的选择是否真的错误？当牺牲一人就能拯救世界时，是否还应该保留那个人的选择权？ 零的质疑超越了大学与世界，触及了无限世界的审查机构——一个只采纳正确假说的无尽上位观测体。即使世界本身判定灯的存在是错误的，零也拒绝接受这个答案。败北、消灭、终结，只要他不承认，就不是既定事实。这是一场夺回被世界抹去的妹妹的战斗，是对被判定为正确的世界发出的异议。学园异能战斗×逻辑多世界，向唯一解发起挑战的不证明者的反证，就此开始。