数理論理学
命題
や
推理
の
記号化
を
徹底
して
形式論理学
を
発展
させた。
演繹論理
が中心であるが、
帰納論理
の記号化も試みられている。
mathematical logic
論理学
（
Logic
）
記号論理学
（
symbolic logic
）
近代論理学
論理学の歴史
カバラ - アダムの言語 - 哲学的言語
束論
ブール代数
（
Boolean algebra
）
型理論
（
Type theory
）
ヒルベルトプログラム
計算可能性理論
再帰理論
集合論
証明論
数学基礎論
非古典論理
モデル理論
計算言語学
https://ja.wikipedia.org/wiki/数理論理学