那东西没用。要是嫌自己太闲，可以读一下gtm53，就是“A Course in Mathematical Logic for Mathematicians”，这是我想搞懂但是一直没有时间搞的东西，比阿黑层次高得多了去了
--
修改:Sunyata FROM 171.104.43.*
FROM 171.104.43.*