.. _number_theory:

数论
====

本章在风格上不同于本书其他章节。这里的事实都是著名定理，它们的证明需要一次性的巧妙想法。这些特定想法不会再次出现在作业或考试中。不妨把本章看作一个总结性章节：我们探索借助本书到目前为止已经发展出的推理工具和理论，能够触及哪些数学陈述。

.. include:: ch07_Number_Theory/01_Infinitely_Many_Primes.inc
.. include:: ch07_Number_Theory/02_Euclid_Lemma.inc
.. include:: ch07_Number_Theory/03_Sqrt_Two.inc