Ｃｏｄｅｌ定理是数理逻辑发展中的一个里程碑，但其最初表述并不完善，Ｒｏｓｓｅｒ公式克服了Ｇｏｄｅｌ定理之不足，从而最终解决了形式数论系统的完备性，本文深入分析了......