2018-05-22から1日間の記事一覧

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

(追記していく予定です) 証明 証明とは、ある命題を一定の推論規則により他の書名台から導くこと: 循環論法なしにすべての命題が証明可能にならないのは明白: よって、「公理」を使う。公理=真であると仮定して、以後の証明の根拠としてよい命題のこと…