看证明的时候听到外面有人不知道哪间房大声笑到我戴着耳机听到了，我当时就打开门左看右看眼神如同身背三十条人命……他妈的到底是谁这么开心！此刻在这世上有人在笑，有人在杀……
不过还好我找到了pacuit教授那本我要用的书，今天不杀了……
实在心里不安感觉我这个论文一直在介绍和翻译真的可以吗，就从我室友处得知大家都差不多让我心放肚子里翻译（……），我就美滋滋接着翻译了，翻出个弗兰肯斯坦的论文来……
今天学妹跟我说latex真有够难的，我回答“其实我最近都在用word敲公式”，其实想一想我现在写这么慢，我敲公式一个字母一个字符的，这也是功不可没……对不起学长！明明你叫我们一开始就学latex，我到我要毕业才明白这到底是有多事半功倍啊！
室友回来了，说伊论文字数不够，因为一个公式只给算一个字符，我说不会吧，一看我的一个fai蕴含Sfai都给我算三个字符。结果我室友说因为她全用插入公式写的所以都只有一个公式字符，我是一个字一个字敲的所以给我一个字一个字算……我靠原来我的笨蛋还给我添加了字数啊【？
肚子好饿但是今晚必须写到几天前就设定的字数了否则真的绝对毕不了业了……
最近看证明看着看着还涉及到我没学好的数理逻辑那边的一些证明……不是，我这三年这不是除了转行这个结论以外我什么都没学会吗！
当然，也可以说我转行去政哲的时候我最大的优势是清晰明确的论证完全性的能力，毕竟我学这些东西太多了我日常说话我自己的逻辑错误我都能在说完的瞬间就指出来……更别提看太多证明以后招致我对这个步骤是不是能每一步都对应上一步非常在意，毕竟否则就接不上……
看来除了逻辑本身以外我收获都挺大的……【流汗
好受不了啊，一周了我还在跟这个拓扑死死捆在一起……我在此之前对拓扑的了解就是，呃，大家知不知道一种把自己的头发当作束缚的方法的一种不需要额外道具的扎住头发的技法【？】，总之鄙人对拓扑的了解就是这样……【
实在没想到我随手乱买的陶哲轩实分析这本书在奇奇怪怪的时刻我突然就想起来它突然就用上了一点……谢谢你，Terence Tao……
淡淡地因为在word敲公式找不到box崩溃了……以后我再碰见同专业学弟妹我一定告诉他们latex的重要性就是防止你半夜写论文找不到box和diamond崩溃……
跑去别人的文本复制了一个以为终于解决问题了，结果是word给我的box符号显示了一个问号。问号？诶？你有什么疑问？你有什么不满！这个是由得了你的吗？！
正在想今天怎么到现在没想出来把什么东西塞进论文，抄笔记抄着抄着突然就知道把什么塞进我自己的框架的证明里了……谢谢你，pacuit教授！
极度怀疑把这些东西翻译完然后我冲进来做我都不知道对不对的证明，什么Ephi可推导M，w推导phi的真值集的补集不推导出phi，啊说错了这是定义……总之就是证明一下完全性以及诸如Srphi到psai即Sr phi则 Sr psai之类的，这些东西全写完我真心怀疑刚到一万五……
敲了一通字现在就困了可他妈得了……
听复活给听精神了……好吧复活了我再写会……但说实在的我还能写什么，妈妈的，邻域语义我能抄的部分好像就要抄完了！
来劲了敲了一个多小时，然后一看统计字数一千字，我的心情就是妈妈的我不学latex的报应就是手敲公式如同劳动密集型产业……
写到现在我感觉我的创新性就是以前大家没翻译过pacuit教授的这本书的intro……然后我还要翻译王教授的文献，嗯。
妈妈的这论文能过吗它真的像尸块（捂头
算了等我把尸块全串到一起的时候再想怎么让它们成为有机尸块……
我操完蛋了，就算最少最少的写法我都未必真能写到那里，一想到明天学妹她们开题我导必然会来问我你怎么样了我就想两眼一闭然后跪地开始私密马赛红豆泥私密马赛！
崩溃了一个下午，以标准的发疯状态又哭又笑了三个小时，然后变正常了，开始敲公式。这个论文写完我的精神状态可能只能用滔滔江水听我说我诅咒一切能形容吧。【什么东西
目前只是理解别人的封闭性质证明，开始怀疑初稿交上之后我师跟我反馈我擦汗之际发现不能理解这到底有错没错
嗯——没懂！算了先抄进论文【敲
诶好像懂了，但是说起来证明这个封闭干什么啊【……
每每半夜拼装我的论文看到陶哲轩发毛象了我都浑身一震宛如看到我师……
写到此处意识到妈妈的我不知道封闭性质的意义是什么！总得介绍一下我才能开始证明什么交集封闭有限并封闭啊！
呃到底证明封闭的原因是为了后面证明方便还是说因为封闭可以帮助证明完全性啊……
隐约感觉，证明封闭性是为了这个框架模型的一致性而不是完全性……再不然单纯是用来证明和认知逻辑的关系的一环……
我操等下十五号前写完今天七号，这不是剩七八天了吗【捂头大喊
我操，砍掉公理化证明的七十七帕内容好了我要简单快捷得到一个结果然后用到我自己那个全是漏洞的框架证明里去！
想了一下，其实我的这个框架需要的难道是公开宣告动态认知……？
敲了一晚上公式突然发觉我的推导符号怎么看着怪怪的，然后再一看妈妈的我笔记上还是正确的一竖两横，怎么论文上全是两竖一横！啊！【紧急全文替换
由于已经彻底事件来不及了于是开始做一些根本就是翻译一样的工作凑字数，心情就是这真的能过吗？还好我以后不干这行了不然我以后要是学术不端一定是因为我硕士论文实际上是翻译别人论文造成的啊啊啊啊
整个三月八号没想出来把什么塞进我的论文里现在三月九号了！好吧在四点前我要找出两千字塞进我的论文……
现在立刻能不能有个谁用胸部压迫我，干脆闷死我算了……
事到如今才发现我准备抄别人的做出来一个模型这件事它行不通的原因是那我好像要重新证明了啊！加这么个东西到底能不能行啊！
略加思索删了别人一个算子我自己又加了一个【……
然后略加思索发现嗯我唯一想表达的那个命题好像用这个逻辑它就mission impossible啊？
嗯……？事到如今我还能怎么改才能塞进来啊！
思索了一下改了，然后发现他妈的我说了个完全trivial的东西啊！
也许……本来这些东西都很trivial……【疯癫
好受不了这个这篇论文唯一的创新卡在开头的感觉，于是打开明日方舟去戳新来的医生（……
大夫，你知不知道怎么把专家意见和对照试验结果这两个东西在认知逻辑里表达出来还能让这个系统继续保持一致性和封闭性还有就是有那么一两个不那么trivial的公式……
不想写了我想吃肉丸胡辣汤泡饼……
其实我还跑过酥皮牛肉饼，刚沾上一点就捞出来吃了就能保持酥脆和胡辣汤的汤汁味……
听循证医学的网课竟然听精神了，大夫你讲怪好的，但是我要是学科哲的我还能用一下我是学逻辑的你说的东西我只能用一帕【哭泣
翻了一会我的集合论笔记发现过去记的东西我三年后才第一次理解诶，真是神奇啊【棒读
看了半个晚上笔记和资料，我的答案是我要明天看王彦晶老师那个模态逻辑网课看怎么证明完全性来推导一下怎么用到我那个狗屁不通的框架里……
可能有冒犯性
心情更新：我每天晚上被睡眠剥夺然后被（论文）逼问怎么证明真假，我这是被国保抓了在审讯吗？
实际上想了一下被抓住审讯要求的不也是让你吐出一个具有一致性和完全性的公式集吗……突然想出来怪不得我老师跟我说其实纪委很爱收我们专业的去干活……
原来我学的竟然还是本科时我所说的“隔壁学校都是普通大学生，但我们学校是要培养朝廷鹰犬啊”的东西啊……
……嗯这么一想突然居然很有动力写论文了，因为我现在在角色扮演审讯【？？
还好听了，王老师正好提醒了我不要把一个没有紧致性的系统证出强完全性和可靠性……
说到这个王彦晶老师我就想说我第一次打开伊额个人主页发现是伊用的是wordpress，产生了一种“原来wordpress不止是拿来过同人女生活的啊，不对，本来就不是专门拿来放同人的啊！”的心情……
不过伊网站搞挺好的大家请看：http://wangyanjing.com/
刚才仔细一看伊profile说的这个话我觉得很好：
We should aim to be a logician with the capital L: sensitive as a linguist, think like a philosopher, prove like a mathematician, and make the results work like a computer scientist. At least go beyond what ChatGPT and its logic-enhanced future iterations can do 🙂
但我同时也很清晰地记得我当时学集合论的时候心里想“还好我写论文的时候可以不用这里”……妈妈的我这不是全用的是集合论基础知识吗！
不想写了9686！离毕业还有至少一万六！我要睡了交给白天的我吧！（
时常对鄙人到底哪来的自信感到困惑，其一就是想起当初开题之后年姐听我基本概述了一下我的论文就说感觉我这个比伊额难，我说啊？不会吧？应该半斤八两吧！
现在的心情就是年姐自称确实没用上我这么多模态逻辑自己的证明更别提我现在天天看模态逻辑的拓扑语义……
其实说到专家意见，我姥的胰腺癌其实在伊过世前去医院的时候就有个医生说伊过去看过一个症状类似的病人，结果是癌症。但是当然家里都不会首先把这个当作一个可能的结果，但是结果来说这位专家的意见确实撞上了……
每天都徘徊在让我抄别人点论文和不行啊不能直接抄啊的心情里来回摆荡！可恶！不管了先抄了再回过头改吧主要我本身也是介绍性的！
最近经常在b站看学数学的大哥大姐们讲数学学习方法，受益非常多，同时又特别地疑惑怎么我会给自己选这么个题目……？我一开始根本就没看懂我的题目啊……？
我不是、不是死文傻吗……我为什么已经从我导师问我论文那天起看了二十天证明了，而且一路已经冲到点集拓扑，这合理吗……
这个论文写得我很痛苦的原因其实不是我没东西抄，而是鄙人其实是一个在这方面很有自尊心的人接受不了自己笨到这个只能抄了而且还看不懂，每天都试图写出点什么自己的东西出来但是已经一周了根本写不出来！现在开始真的接受现实翻译别人的证明……
比如看这个引理证明向下封闭，就特别疑惑原来你是个序……？而且也不是偏序因为你好像还对称……？
上次写一晚上写到七八点还是我给导师第一次汇报，然后再上一次写到七八点是写完我的集合论作业然后立即上递归论……
我操序怎么会对称呢我那个时候是不是脑子停转了！
翻译了好一阵突然想起来我好像本身主要是想论证我自己硬扯出来的那个系统能用邻域语义而已，好像不需要非得和我介绍的那个结合……呃这样的话虽然更没价值了但是感觉还是可以抄的……
说实话最近的心情就是我是不是被抓去缅北了现在要干够数才能把自己赎出来转行……
在水房听到同级的人说论文写完要去喝酒，我想了一下我写完要干什么，我要去教堂……这显得我这人真的很那个【……
抄论证我都抄烦了于是开始写评价，然后上手写评价发现立刻我就，呃，那这个系统到底优点是什么，他证明完全性到底证对了吗，它的解释能力到底几何，我靠，其实我不知道！更别提批评了，我就是想说他没解决逻辑全知，他本身好像也没那个打算啊！我万策尽了妈妈
愤恨中吃完了我下午买的汉堡王薯条……算了我要睡觉了明天上政哲课然后加上我要去医院复查……论文目前10650……【
我的梦想是……毕业……我已经想好了，我师反正也很清楚我这个糟糕水平，我只要写完了交给伊我就离成功毕业只有二十帕距离了！加油！快点把别人论文翻译进来缝合尸块啊！（拍打
今天一醒来越琢磨越疑惑，我之所以会挑这篇论文写毕业论文都是因为我在phipaper找的，但是一直做到最近我惊觉这论文结构不是更像数学系吗而且一直在用集合论，心中升腾起一种jcs里犹大自杀前领悟到这都是神的旨意时大喊“you murdered me”的心情……
写完论文我要学一下怎么用latex，我要学会以后拿来排我的政哲论文，哼哼……还有拿来写同人【诶
怎么会有人还有四天就要交论文初稿之际临时抱佛脚两个小时从黑皮书看到陶哲轩实分析，刚刚才搞明白一些诸如并集里那一堆下标都叫什么，以及到底什么是上闭和下闭……
看选择公理看得头木木的……
不由回忆起高中的时候我们年级主任是个数学老师，伊口头禅是“你根泵么有空间想象楞力！”
我现在的心情就是我根本没有抽象想象楞力！
虽然最近在天天后悔没有早点写论文事到如今万策尽，但是其实我今晚看典范模型就发现其实我是不可能早前写完的，因为不到这种时候我不会逼自己去理解怎么证明一致性完全性的（……
其实越看越觉得我一开始准备的那个证明基本是不可能的……
正在想还有什么办法补救一下，比如直接用典范模型……
看过两次学长用latex做的ppt，感觉那个真是优美简洁，等干完活也想学一下！
看到现在才发现这就是个偏序……因为它向下封闭而且反对称自反加传递啊！
准备破罐破摔把别人的系统直接介绍上去然后用评价当创新内容【……
心情：不如我吃九十片维生素b2然后一头栽倒送我进医院吧。
所以吃太多维生素b2是会怎样【突然开始搜索