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

研究表明,克里金法的对偶形是一种有用的形式。本文定义了一种能表述一般的线性克里金法求解问题的线性组合问题,指出该线性组合问......