其实是可以理解哥德尔思路的 就是一步构造法