数学归纳法的逻辑原理及其在模型论中的应用

作者：张龙; 陈国龙

来源：洛阳师范学院学报, 2013, (08): 6-7+11.

DOI：10.16594/j.cnki.41-1302/g4.2013.08.003

• 数学归纳法
• 逻辑原理
• 模型论
• 定理
• 命题 mathematical induction
• logical principle
• model theory
• theorem
• proposition

本文系统地介绍了数学归纳法的逻辑原理以及表现形式.模型论是一门理论性很强的学科,模型论中的很多命题和定理的证明很繁琐、复杂,而数学归纳法为这些证明提供了一个合理、思路清晰并且利于理解的证明过程.

• 单位
  淮北师范大学