对哥德尔第一定理提出的问题，数学家也想到了补救方法，灵感主要来源于年()证明了算数相容性