哥德尔不完备定理说明在任何一个数学系统肯定能找到一个命题，即无办法证明它，也无办法推翻