今天又研究了一下 数理逻辑 其实一个关键的问题，就是如果你理解了 关键特征 也就是通过简单例子，理解 关键特征 很多事情就容易了，比如，理解 如何用 PA 去表示 power 其他的问题，都是某个特征的反复应用，而低成本的去体会和把玩一个特征，是高效的理解某个压缩的概念