最近经常在b站看学数学的大哥大姐们讲数学学习方法，受益非常多，同时又特别地疑惑怎么我会给自己选这么个题目……？我一开始根本就没看懂我的题目啊……？

我不是、不是死文傻吗……我为什么已经从我导师问我论文那天起看了二十天证明了，而且一路已经冲到点集拓扑，这合理吗……

这个论文写得我很痛苦的原因其实不是我没东西抄，而是鄙人其实是一个在这方面很有自尊心的人接受不了自己笨到这个只能抄了而且还看不懂，每天都试图写出点什么自己的东西出来但是已经一周了根本写不出来！现在开始真的接受现实翻译别人的证明……

比如看这个引理证明向下封闭，就特别疑惑原来你是个序……？而且也不是偏序因为你好像还对称……？

我操序怎么会对称呢我那个时候是不是脑子停转了！

翻译了好一阵突然想起来我好像本身主要是想论证我自己硬扯出来的那个系统能用邻域语义而已，好像不需要非得和我介绍的那个结合……呃这样的话虽然更没价值了但是感觉还是可以抄的……

说实话最近的心情就是我是不是被抓去缅北了现在要干够数才能把自己赎出来转行……

在水房听到同级的人说论文写完要去喝酒，我想了一下我写完要干什么，我要去教堂……这显得我这人真的很那个【……

抄论证我都抄烦了于是开始写评价，然后上手写评价发现立刻我就，呃，那这个系统到底优点是什么，他证明完全性到底证对了吗，它的解释能力到底几何，我靠，其实我不知道！更别提批评了，我就是想说他没解决逻辑全知，他本身好像也没那个打算啊！我万策尽了妈妈

愤恨中吃完了我下午买的汉堡王薯条……算了我要睡觉了明天上政哲课然后加上我要去医院复查……论文目前10650……【

我的梦想是……毕业……我已经想好了，我师反正也很清楚我这个糟糕水平，我只要写完了交给伊我就离成功毕业只有二十帕距离了！加油！快点把别人论文翻译进来缝合尸块啊！（拍打

写完论文我要学一下怎么用latex，我要学会以后拿来排我的政哲论文，哼哼……还有拿来写同人【诶

怎么会有人还有四天就要交论文初稿之际临时抱佛脚两个小时从黑皮书看到陶哲轩实分析，刚刚才搞明白一些诸如并集里那一堆下标都叫什么，以及到底什么是上闭和下闭……

看选择公理看得头木木的……

不由回忆起高中的时候我们年级主任是个数学老师，伊口头禅是“你根泵么有空间想象楞力！”
我现在的心情就是我根本没有抽象想象楞力！

虽然最近在天天后悔没有早点写论文事到如今万策尽，但是其实我今晚看典范模型就发现其实我是不可能早前写完的，因为不到这种时候我不会逼自己去理解怎么证明一致性完全性的（……

其实越看越觉得我一开始准备的那个证明基本是不可能的……

正在想还有什么办法补救一下，比如直接用典范模型……

抄着抄着涅槃了，同时又不想抄了【……】，但同时又再次思考我这不就是翻译吗还是翻译同一个人，我自己的创新肯定做不到他这样的呀，你看我像是会用典范模型证明新逻辑系统的一致性和完全性的人吗？我甚至怀疑我的系统其实不成立，都不说是不是有紧致性了，它能运行吗我都想问……
……不然我把这章删了吧我就拿出来作为一个还没证的东西提一千字算了……

诶突然想起来了，因为这篇论文中间要和认知逻辑结合才给Sphi解释成dia phi的语义，我又不需要非把我那个缩减的语义模型和关系语义结合，我用邻域语义的啊，还能硬凑一下，加油……实在不行我老师也会跟我说的我改起来也有方向！啊一想到可以把麻烦的东西交给我老师我又有信心了【……

老师……！虽然我是你教过的最废物的小饼干但是你一定会救我吧！

真受不了我这个天天跌宕起伏的论文心情啊！十五号前到底能不能硬凑完一个弗兰肯斯坦的论文啊！

我都想好致谢了，先感谢我导我师没有放弃我，然后感谢pacuit教授、singleton、我发了邮件的王老师和我没发邮件的王老师、然后是毛象上一到东八区晚上就要看我崩溃写论文的朋友们和过路网友，然后是布列兹和布隆斯泰特和jcs的耶稣和耶稣和圣母……【什么东西

但还是好想回到去年开题跟那个自己说你不会写模态逻辑论文你能不能换个东西哪怕写语用学和逻辑，什么逻辑语法都比现在好多了啊！

又看了会学长的论文试图copy一下伊怎么写够字数的，但是一看学长往里面塞了至少一千字他引用的人回忆自己的工作的过程，我就是说我没法找这么个东西塞进来啊我只有我自己艰辛的拼凑工作过程可以回忆啊！【

饿得想生啃柠檬因为桌子上就剩了个柠檬……预计两小时后必困，不困我也睡了……

写这个狗屁不通的评价，多出了两百字，我的答案是我靠我在胡言乱语什么八号混凝土最适合拌意面。

我操粗粗一算我还有一万多字要写……周三不去上课了我要空一节！（

记录一下，白天睡醒以后要把论证部分搬上去抄完，然后评价放在多主体认知逻辑后面，然后拿knowledge和belief的邻域语义解释套进我的证据和意见和可靠度构成的新系统里，证得对就对，不对我也没办法了！

年姐归来，给了我更好和更简单完成论文的建议，现在我不用证明了啊！【喜极而泣

心情就是今夜一举奋斗，管他妈的懂不懂我要写完！

心中有些淡淡的疑问，就是说你们这个多主体它到底是怎么用的，我怎么没看出来它多主体的意义呢……

另外怎么正好播到布鲁克纳七第二乐章，就是希特勒死讯播的那个，搞得我心情都进入葬礼阶段了！

而且约胡姆这个比我常听的那个富特文格勒版本更加温柔了，听得人有如回到妈妈怀抱……诶说到这里有点想我妈（virtual）了，但最近有点危险的趋势就是喊一些本来不应该是我妈的人妈【原则上你一直如此啊！

越看越想问，这篇论文原则上我师应该带我读过，但我脑海里为什么一丁点印象都没有，还是说老师没给我讲过证明……？不应该啊应该讲了……算了我翻译吧我还能怎么样【

思索了一下我决定选择性翻译，然后彻底砍掉extension部分的证明就当它不存在！好就这样了如果凑不够就去拿群体知识论和邻域语义硬凑点！

抓瞎了呀！复制了一下想看看大概字数发现果不其然我把人家抄完还有八千字缺口，八千字去抄谁啊……

想了一下顶多可以加上邻域语义和多主体那边，那应该也能硬凑个两千左右，然后还有六千字缺口……