我已经悟了，虽然我只是个学点数理逻辑皮毛的人，但是学数学的秘诀我看还是只有做题……我去年证显然的东西的时候去问学长怎么写，学长：显然的啊。
所以说证明作为一种语言就想学外语一样多写……比如我最简单的一阶命题逻辑、谓词逻辑考试的时候根本没复习纯粹是因为我写熟了……但一段时间不写我就会忘记一些公理和定理导致一个最基础的二难构成式在几年间因为我忘了所以两次让我解题速度骤降……