明目张胆的“这 TM 还用证” 

Obviously it's not. But prove it. TAT

有数理逻辑好的象友帮忙吗?这题里面F函数的定义啥意思啊?F(α) 的值怎么在集合里面反过来限制起α来了?是我没理解还是这破书写错了……

看这句话时愣了一下才反应过来,他说的是 =df 那个逻辑符号,顿时被这翻译雷到脚趾抠地。这帮教授真的是一点儿逻辑学不学啊……太怯了。

好吧,烟瘾实在顶的难受,刚去查了下文献……果然中弹了。戒了戒了,不开玩笑了。

不得不说这种分析式的论述用来对付柏拉图真好用。和古希腊的语言 gap 完全可以用逻辑补回来。

雾海

雾海是一个开放且不限制讨论主题的非营利性中文社区,名字来源于德国浪漫主义画家 Friedrich 的画作《雾海上的旅人》。生活总是在雾海中吞吐不定,不管怎么艰辛,他还是站在了这里!希望大家在这里玩的开心~