简介：（2）如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。”高坂京介用一副小人得志的丑陋嘴脸肆意地嘲笑着西莫先生。然而对方一边饶着头一边嘴里还嘀咕着走向了售卖柜台：“哎，没办法啊，早上为了和不可见的境界组织战斗，把午餐给打坏了。” 这让西莫先生不禁再次感叹：真不愧是当上女王的人了，这咬文嚼字，借题发挥的本事真是练得炉火纯青了啊！结果，塔巴莎最后被分到的居然是雾岛翔子，这个在西莫先生眼中几乎没有什么存在感的角色。