conjecture(哥德猜想)ss