- 32 名前：１３２人目の素数さん mailto:sage [2011/10/29(土) 20:12:05.75 ]
- >>25
現状維持はNG。まず以下の案で立てられたい。
次期スレッドタイトル
数理論理学 その10
数理論理学は、今や「数学を基礎付ける」ための学問ではなく
論理の構造、数学における論理的構造などを研究する数学の分野
となっている。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、
公理的集合論など、多くの分野に分かれ、数学の一分野として
発展を続けている。
（岩波文庫「不完全性定理」 6.4節より）
