00 数学の利用・推論


       0002 仮説の設定と検証        0003 証明        0004 表現       0016 一般化

       0024 数学的推論と証明