感觉很多人没有搞清楚相关的内容，会尝试用 “所有语句不能描述……” 之类的内容去描述一个特性。
但是以我之见这些语句本身也是一个语句，会导致自指矛盾。
目录（暂定）
1. 建立语句关系
2. 建立证明关系
3. 建立模型关系
4. 不完备定理等元定理的证明环境
5. 不可描述基数是如何避免上述自指的？