判断题 数学证明是依靠逻辑推理导出结论，定理已经证明就永远是对的，除非发现定理本身有误。

多项选择题 科学证明的过程包括（），它的结果可能被推翻。

单项选择题 对哥德尔第一定理提出的问题，数学家也想到了补救方法，灵感主要来源于1936年（）证明了算数相容性。