哥德尔第二不完备定理:3000~4000元的手机 哪款最酷?