“我们一定能成功的。
拉斯，你能把我从阴曹地府捞回来，我已经十分感激了。既然事已至此，我们只能接受了。
梦里似乎有人告诉过我，我的使命就是‘完成使命后就能成功自我救赎，收获幸福’。所以我们一定会成功的。”
妖精对谢四的盲目自信露出了不解神情，谢四便把在梦里听到的徐林的奇谈怪论告知了妖精。
妖精：(；д)
“不是小四，如果存在一个命题是p=（p→q），
那不就是p=qvp，
取否定就是p=q∧p，
所以p→p，最终导致p恒真，你是想说这个？”
谢四歪了歪头，“应该就是这样，所以拉斯你也觉得骑士说的是对的？”
妖精：(＞д＜)
“哪来的邪教徒居然敢忽悠我家小四，太可恶了。等我重获真理之后一定要肃清这种败类。”
“哪里不对吗，拉斯？”
“不对，可太不对了，一开始就不对。世界上哪里会存在p=（p→q）这种神金命题！
小四，你要记得，一阶逻辑绝对不可以自指！不然等到以后你一定会被「罗素」忽悠的找不着北的。”
谢四苦恼地看向了拉斯，似乎在等待它的进一步解释。
“哎，小四，这就像是我之前跟你讲的「说谎者悖论」，一个人说‘我说的这句话是谎话’，那么他到底是说了真话还是谎话呢？
如果说是真话，那么他的话不就是在说自己在说谎话吗？
如果是在说谎话，那么他的话就得反过来听，也就是说他说的话是真话。
如此说来正反皆矛盾，问题出在哪里呢？问题就出在人类语言的不完备上，并不是每个句子都能带有语意。而在这之中，自指的语句就是典型不带有语意的句子。
就比如说在你的使命里怎么可以出现使命本身呢？”
谢四张着嘴一言不发，眼睛也是一眨不眨地看向了妖精，像是整个人宕机了一般。
“小四，如果你还没听懂的话，我再给你举个例子，每个自然数都可以”
“拉斯闭嘴！”谢四不耐烦的打断了妖精的絮絮叨叨，抿着