当前位置:24直播网 > 哥德尔不完备性定理是他在1931年提出来的能证伪的命题