>>143
>今の数学基礎論が数学の基礎付けを目的としていないことは
いま「数学基礎論」って言ったね。
君もロジックのことを「数学基礎論」と呼んでいるんだね、仲間だな。