主题：哲学与科学 -- 达萨

定理不能用范例穷举来证明，但只要一个反例就能推翻。这是在定义里面的。勾股定理，不是穷举勾3股4弦5，勾5股12弦13来证明的。3个宇宙长，4个宇宙宽的直角三角形，它的弦只能是5个宇宙宽。不能用现实中不存在这个三角形，弦就可以是6个宇宙宽了。

每次你用假设，投资是谁的呢，相近例子之类的律师辩护，你都在打定理的脸。定理不需要律师。经济学打着数学旗号，就要接受数学逻辑考验。

铁闸收费的电梯，现实中就有。不用扯到地产，房地产前景的对赌，停车场上。帝国大厦，东方明珠等高楼的登顶电梯就是。登顶电梯和普通电梯在经济学定类上没有区分。登顶电梯收费符合科斯定理，普通电梯收费当然也符合科斯定理。拉闸收费和每月收管理费也没什么区别。每月收管理费还是属于无效管理的那种。户主肯定被无效管理坑了。科斯定理的结论，只能普通电梯收费要向登顶电梯收费看齐。我提出电梯私有化，产权要清晰化，收费要公开化，电梯资源才能得到最大利用，正是科斯定理的推论。管理缺失，让多少不交钱的住户，非住户，钻了免费电梯的空子。我把私有化价值量化公式都拿出来了，公开化收费先期投资三千，产权就能估值百万。免费公用电梯导致楼价被严重低估了，对不对。

感觉私有化电梯，不舒服有问题的，只能是因为你对科斯定理不够虔诚的原因。我可是一直在为科斯定理说话的。只是楼价会下降的推论，不是从科斯定理里来的，是从风险高估博弈论里来的。就是对什么是定理都没搞清的人，我要讲明白非欧几何太难了。