象存唯一进步施（米特）派 @[email protected]

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

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

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

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

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

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

看过两次学长用latex做的ppt，感觉那个真是优美简洁，等干完活也想学一下！

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

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

大家能懂吧，就是，都不是难看，而是普得你都不知道说什么好！snl的小马我觉得就很合适替代他，至少很可爱啊！

而且妈妈的，我真的不理解甜茶受欢迎的现状，我看他上snl那期pdd的段子我都没认出来他是谁，看到弹幕说我才知道这是这期嘉宾！amazing！普男普到和pdd站一块我觉得pdd都看着像回事的程度了！

本来不准备看沙丘2了，因为看1的时候就觉得很无聊，而且我觉得配乐很无聊还不如陈旧的浪漫主义配乐比如你拿布鲁克纳搭配都行【说明只是喜欢布鲁克纳】。但看人说这部讲述了女主跟男主分手后哭着打车走了，听完就来劲了【……】，来劲的点可能是我想看这个盛大的分手有多搞笑！

过去了几个月了我还在回想我再也不能第一次看满江红了！还有坚如磐石居然没有满江红这么好看！大家没看不懂，满江红的好看就好看到它是个彻底破罐破摔之作，爆笑到每个反转都让人根本忍不住笑！好想消除掉我看过的记忆再看一遍，再尊享一遍根本在这个赛道上就是独自一人的加长版现实主义小品啊！
坚如磐石差就差在它太他妈正常了，连烂都烂得很正常！无趣！

室友今天出门玩去了，问我来不来，我当然不来，但是原因不止是我论文没写完，总之听闻如此立即在宿舍大声播放布鲁克纳第九……【

就会很容易让我想到，我一个上海市长怎么就到了中央呢？
每次读柏拉图都只会让我更加不赞同柏拉图，真是几乎没有一次我赞同柏拉图，亚里士多德你来救我吧（……

虽然也不是第一回，但是确实感觉我经常会因为觉得政治哲学这边的人到底一天到晚都在想什么真空球形鸡而有点不耐烦。但是柏拉图说的也对，说到底是为了设想一种最理想状况，总不能因为现实是泥潭就接受现实一直是泥潭。
……但是我还是觉得这到底都设想了些什么从逻辑上就不可达到的东西啊！你就说怎么让哲人王这种最不愿意统治的人当统治者吧，我觉得从原理出发，能当上统治者的基本都是想当的人吧！

今天还是上课讲柏拉图，说到护卫者阶层依照腓尼基神话发明为大地母亲之子女，互为兄弟姐妹接受体教和乐教。我立即有端联想到在苏联福利院成长的红色后代们，然后过了两节课没忍住还是说了。感觉老师可能觉得辱柏拉图了【？】，后面就又提了一嘴，说柏拉图的这个设计是按才能，不会按你是红几代。
但我又想起一个，就是哲人王也会让我想起党总是会要求总书记能写出点什么思想，难道这不也是对总书记有智识要求？怪不得我一直都觉得柏拉图很让人受不了【喂

今天一醒来越琢磨越疑惑，我之所以会挑这篇论文写毕业论文都是因为我在phipaper找的，但是一直做到最近我惊觉这论文结构不是更像数学系吗而且一直在用集合论，心中升腾起一种jcs里犹大自杀前领悟到这都是神的旨意时大喊“you murdered me”的心情……

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

看到现在才发现这就是个偏序……因为它向下封闭而且反对称自反加传递啊！