.. _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