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

The Logical Principle of Mathematical Induction and the Application in Model Theory

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

This paper systematically introduces the logical principle and form of mathematical induction.The model theory is a strong theoretical discipline,the demonstrations of many propositions and theorem in model theory are very tedious and complicated,and mathematical induction provides a proving process,which is reasonable,clear thinking and conducive to understand.