在写得一点都不想动了只想睡觉之时，问大chat老师你对我这个题目有没有高见，我看教大chat老师学会构建一个封闭的可以证完全性的系统比我快多了，大chat老师你来吧我真的想睡觉……