数学的帰納法は演繹法であり、これはややこしい。数学の言葉や記号は、合言葉にしかすぎない。

これはツイッターでみただけのことだが、アメブロのみなさんにも知ってほしくて投稿した（某通信大手3社さんの一社の副社長さんの投稿を参考にした）。　どうしても感動したので投稿した。

これは、とても面白いはなしだが、数学というのは実は、学問的には最強ではない。これは当然だが、学問という観点でではなく、厳密性という観点では、数学はもっとも最強である（ちなみに、数学は、汎用性が低い）。誤謬が騒がれることも近日では起きている。　ここで余談ではあるのだが、（数学の証明には、演繹法しかないことについてだが。）確かに数学では、「帰納法のように共通点を特定する作業」は少ないように感じる。　演繹法のほうが厳密ではないだろうか。というか、帰納法は数学らしい分野ではない気がする（自分にとっては、統計、データの分析なども数学らしからぬといえる）。

今回の記事のまとめ！！！！

自然演繹（自然推論？）全てに通ずるかと思う推論という論理学上の概略について記載します。

まずは数理論理学を勉強しようかと思った志学動機。

既存の学問（少なくとも大学程度か院以下による教養内。）と則り、応用力と繊細度を大いに実装可能だと想定立てられる構想だと見做すほかない。

数理論理学でこれから取り扱われる理数的思想の中でとても工夫が効く手法を説明する。（これが記述の目的ではないか。）

「推論」という語が多く与えられているが、これは推論、自然演繹や帰納法などといった呼び方をしている必要はない、（いまから推論の定義を説明するので少し辛抱してほしい。）

推論、（数理論理学的な自然演繹、もしくは背理法など。）とは定義、簡単な説明などを以下に記しておいた。

簡易的な学問的操作（ここが論理学や離散数学によって勉強できる場所。）により任意の結果まで進める数学的過程で、かつ結果までの操作手法が論理学的推論法と呼ばれており、これは「論理学の推論記法」といったような呼び名が与えられているものに過ぎない。