記号化された人物、人物の行動が構成する命題、その命題からなうる公理系、そこにいくつかの推論規則が加わって——それが推理小説――にして形式体系――にしてメタ数学だよ！ （『文学少女対数学少女』loc.165 of 3860）*1 『雪が白いときかつそのときに限り』の…