不可判定命题通过扩大形式系统是可能证明或者证否的;判断一个命题的真伪，除了数学的方法外，还可以有非数学的方法