受不了了我一定好好学习，我假期一定自己把蓝皮书的modal logic好好学一下毕竟我自己论文也要用……然后我还得重新看数理逻辑证明完全性定理的部分，我已经把什么数学归纳法之类的要忘干净了（