論理学は数学ではなくて哲学の分野なのだが。
弁証法、誤謬法、等々。

数学基礎論は寧ろ集合論の形式主義的記述を
遂行しているにすぎないので論理学とは一線を画する。