举报JoeJoe20110101的博文：

896第一不完全性定理证明标号分类拆解汉译知识背景——哥德尔原著拆解汉译之一