>>798=768
御前、素人だろw

>読み物系の数学基礎論の本で文章を追っているだけでは理解できないかもです。
ん？君自身のことを述べているのかな？

>今、単に論理学と言えば「記号論理学＝数理論理学」のことを指すですよ。これ本当。
書籍の受け売りをそのまま言われてもねぇ〜
議論の争点は「論理学は数学か哲学か？」だ。
もともとは「論理学の科目がない、数学基礎論があるだろ？いや、あれは違う」の流れだったろうに…
「数理」論理学とわざわざ「数理」と冠することからも分かるように「論理学」自体は哲学だ。

>何も知らずに論理学の教科書を買っても、記号による証明のオンパレードなので面喰いますよ。マジで。
君が数学基礎論を取っているのかどうかを明らかにしたい。
そうだな、この科目の単位認定試験で「固定な」2つの問題を挙げてそれらの問いの解答の骨子を
「記号による証明のオンパレード」でここに晒しなさい。春厨には難題かな？