.. _basics:

基础知识
========

本章旨在向您介绍 Lean 中数学推理的基本要素：计算、应用定理和公理，以及对通用结构进行推理。

.. include:: C02_Basics/S01_Calculating.inc
.. include:: C02_Basics/S02_Proving_Identities_in_Algebraic_Structures.inc
.. include:: C02_Basics/S03_Using_Theorems_and_Lemmas.inc
.. include:: C02_Basics/S04_More_on_Order_and_Divisibility.inc
.. include:: C02_Basics/S05_Proving_Facts_about_Algebraic_Structures.inc