>>93
> 代数学の目的とか、解析学の目的ってあるの?

これらについては知らないが

> 基礎論の目的ってそんなものがあるのか?

これは「数学の基礎付け」という大時代な目的があるんでしょうよ

もしも数学基礎論には目的がないと主張するのならば
そもそも「数学基礎論」なんていう名称を使うのがおかしい
「代数学」や「解析学」と同様に単なる研究対象と研究手段を表すだけの「数理論理学」という分野名を使うべきだな

そして実際、世界的に見れば“Foundations of Mathematics”なんて言葉は
文字通り数学の基礎付けに関する議論をする際にしか殆ど使われる機会はなく
研究分野の名前(やその分野の教科書のタイトル)としては“Mathematical Logic”を使うケースが圧倒的に多い

日本だけだよ、屑哲か哲崩れ好みの「数学基礎論」なんて大袈裟な言葉を有難がって今も多用しているのは
事実、このスレタイだって「数理論理学」ではなく「数学基礎論」が先にあるだろ

それに新井の教科書だって“Mathematical Logic”って英語タイトルを添えてあるのに日本語では「数学基礎論」
どうせなら添える英語タイトルもちゃんと“Foundations of Mathematics”にすればいいのに
首尾一貫しないで日和見というか風見鶏なタイトル翻訳にもほどがある
恥ずかし気もなくよくそんなことができるものだ
馬鹿じゃないかと思うよねw