>>25

現状維持はNG。まず以下の案で立てられたい。

次期スレッドタイトル

数理論理学　その10

　数理論理学は、今や「数学を基礎付ける」ための学問ではなく
論理の構造、数学における論理的構造などを研究する数学の分野
となっている。
　現在では、証明論、再帰的関数論、構成的数学、モデル理論、
公理的集合論など、多くの分野に分かれ、数学の一分野として
発展を続けている。
（岩波文庫「不完全性定理」 6.4節より）