自然演繹（自然推論？）全てに通ずるかと思う推論という論理学上の概略について記載します。
まずは数理論理学を勉強しようかと思った志学動機。
既存の学問（少なくとも大学程度か院以下による教養内。）と則り、応用力と繊細度を大いに実装可能だと想定立てられる構想だと見做すほかない。
数理論理学でこれから取り扱われる理数的思想の中でとても工夫が効く手法を説明する。（これが記述の目的ではないか。）
「推論」という語が多く与えられているが、これは推論、自然演繹や帰納法などといった呼び方をしている必要はない、（いまから推論の定義を説明するので少し辛抱してほしい。）
推論、（数理論理学的な自然演繹、もしくは背理法など。）とは定義、簡単な説明などを以下に記しておいた。
簡易的な学問的操作（ここが論理学や離散数学によって勉強できる場所。）により任意の結果まで進める数学的過程で、かつ結果までの操作手法が論理学的推論法と呼ばれており、これは「論理学の推論記法」といったような呼び名が与えられているものに過ぎない。