00 数学の利用・推論


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

       0024 数学的推論と証明