自古希腊以来，对真理的追求贯穿于数学和哲学的始终，逻辑在这个过程中起着最为基石的作用。逻辑内容在高中数学中同样占据着重要的地位，但教材只是简单地编排了相关内容，对于逻辑在数学基础与哲学发展的地位、历史渊源极少提及。逻辑虽是高中数学中最为基础的存在，但也常被忽略。怎样使学生对逻辑的重要性有全面深刻的认识是本文探讨的主题。

文章首先梳理了数理逻辑发展历程，对比高中逻辑内容与数理逻辑内容，给出在高中数学中融入数理逻辑思想的构思:首先是为演绎推理建立模型：分别是形式命题演算和形式谓词演算，在此基础上扩充成为一阶算数系统，对一阶算数系统一致性与完备性的讨论中给出哥德尔定理证明思路及其意义。最后总结数理逻辑的基本思想，依据此基本思想建立三个特殊自然数的形式系统。最后作出总结与反思。

Since ancient Greece, the pursuit of truth runs through mathematics and philosophy, and logic plays the most important role in this process. Logic content also occupies an important position in high school mathematics, but the teaching material simply arranges the relevant content, which is rarely mentioned for the position of logic in the development of mathematics foundation and philosophy, and the historical origin. Although logic is the most basic existence in high school mathematics, it is often ignored. How to make students have a comprehensive and profound understanding of the importance of logic is the subject of this paper.

The article first combs the development course of mathematical logic, compares the logic content of high school with the content of mathematical logic, and gives the idea of integrating mathematical logic thought in high school mathematics: First, the model is established for deductive reasoning: the form proposition calculation and the form predicate calculation, respectively, expand into a first-order calculation system on this basis, and give Godel the thesis proof idea and its significance in the discussion of the consistency and completeness of the first-order arithmesis system. Finally, summarize the basic idea of the logic of numberology and establish the formal system of three special natural numbers according to this basic idea.