数学基礎論・数理論理学　その9

次スレッド案

数学基礎論（数理論理学）　その10

数学基礎論は、数学の基礎に関する問題意識から生まれた学問である。
しかし，ゲーデルの不完全性定理以降、「数学を基礎付ける」という
目的は後退して、論理の構造、数学における論理的構造などを研究
する数理論理学という数学の一分野となっている。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、
公理的集合論など、 多くの分野に分かれ、数学の一分野として
発展を続けている。