【 在 Sunyata 的大作中提到: 】
: 那东西没用。要是嫌自己太闲，可以读一下gtm53，就是“A Course in Mathematical Logic for Mathematicians”，这是我想搞懂但是一直没有时间搞的东西，比阿黑层次高得多了去了


真是无知者无畏
--
FROM 39.144.137.*