.. _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
.. include:: C05_Elementary_Number_Theory/S04_More_Induction.inc