诶好像懂了，但是说起来证明这个封闭干什么啊【……

每每半夜拼装我的论文看到陶哲轩发毛象了我都浑身一震宛如看到我师……

写到此处意识到妈妈的我不知道封闭性质的意义是什么！总得介绍一下我才能开始证明什么交集封闭有限并封闭啊！

呃到底证明封闭的原因是为了后面证明方便还是说因为封闭可以帮助证明完全性啊……

隐约感觉，证明封闭性是为了这个框架模型的一致性而不是完全性……再不然单纯是用来证明和认知逻辑的关系的一环……

我操等下十五号前写完今天七号，这不是剩七八天了吗【捂头大喊

我操，砍掉公理化证明的七十七帕内容好了我要简单快捷得到一个结果然后用到我自己那个全是漏洞的框架证明里去！

想了一下，其实我的这个框架需要的难道是公开宣告动态认知……？

敲了一晚上公式突然发觉我的推导符号怎么看着怪怪的，然后再一看妈妈的我笔记上还是正确的一竖两横，怎么论文上全是两竖一横！啊！【紧急全文替换

由于已经彻底事件来不及了于是开始做一些根本就是翻译一样的工作凑字数，心情就是这真的能过吗？还好我以后不干这行了不然我以后要是学术不端一定是因为我硕士论文实际上是翻译别人论文造成的啊啊啊啊

整个三月八号没想出来把什么塞进我的论文里现在三月九号了！好吧在四点前我要找出两千字塞进我的论文……

现在立刻能不能有个谁用胸部压迫我，干脆闷死我算了……

事到如今才发现我准备抄别人的做出来一个模型这件事它行不通的原因是那我好像要重新证明了啊！加这么个东西到底能不能行啊！

略加思索删了别人一个算子我自己又加了一个【……

然后略加思索发现嗯我唯一想表达的那个命题好像用这个逻辑它就mission impossible啊？
嗯……？事到如今我还能怎么改才能塞进来啊！

思索了一下改了，然后发现他妈的我说了个完全trivial的东西啊！

也许……本来这些东西都很trivial……【疯癫

算了先撂下让我先去抄别人的论文先把今天的两千字写完睡觉【挥手

每天都徘徊在让我抄别人点论文和不行啊不能直接抄啊的心情里来回摆荡！可恶！不管了先抄了再回过头改吧主要我本身也是介绍性的！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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