.. _number_theory:

初等数论
========


在这一章中，我们将向您展示如何将数论中的一些基本结果形式化。
随着我们处理更复杂的数学内容，证明会变得更长、更复杂，
但会建立在您已经掌握的技能之上。

.. include:: C05_Elementary_Number_Theory/S01_Irrational_Roots.inc
.. include:: C05_Elementary_Number_Theory/S02_Induction_and_Recursion.inc
.. include:: C05_Elementary_Number_Theory/S03_Infinitely_Many_Primes.inc