>>412
>・ネーミングで、中身がすぐ変わるはずもない
>　「数理論理学」の定義は？
>　「数学基礎論」の定義は？

　誰に尋ねてんの？
　「ゲーデルの不完全性定理で数学基礎論は死んだ」と言ってる人は
　数学基礎論を「数学の基礎づけのための行為」といってますよね
　日本語読めてない？
　で、ゲーデル以後は数学を用いた論理学の研究としての
　「数理論理学」だということですよね
　で、それを完全に決定づけたのがコーエンのフォーシングによる
　一般連続体仮説と選択公理の決定不能姓
　要するに集合論のモデルは一つではなく、無数にあるということ
　群のモデルが無数にあるのと同じだよね　そういう意味で
　集合論は群論同様只の数学に成り果てた

　エポックになる発見の時期の前後で分野の中身はがらっと変わるんだよ
　君は素人のままだから死ぬまで理解できないだろうけど