カラー図解 数学事典 p. 10-11 メモ

（追記していく予定です）

証明

証明とは、ある命題を一定の推論規則により他の書名台から導くこと：

循環論法なしにすべての命題が証明可能にならないのは明白：

よって、「公理」を使う。公理＝真であると仮定して、以後の証明の根拠としてよい命題のこと。その上に種々の専門分野ができる。公理系から導出可能な命題は論理体系の選択に依存：

カラー図解 数学事典