テンプレート案

数学基礎論は、数学の基礎付けについての認識論的問題への挑戦として、
誕生したが、ゲーデルの不完全性定理によりそのような試みの不可能性
が示された後、急速に数学化が進み、今や数学の基礎付けの研究は無い
に等しく、論理の構造、数学における論理的構造を研究する数理論理学
に変貌している。
現在では、数理論理学は、証明論、再帰的関数論、構成的数学、モデル理論、
公理的集合論など、 多くの分野に分かれ、極めて高度な純粋数学として
発展を続けている。
（以下前スレと同じ）