上の方で議論になっていた、非古典論理より集合論の方が通常の数学に近い、
という話、僕はむしろ逆だと思うけどな。
メタ理論ZFCの中でメタ理論ZFCそのもののモデルを作ったり、
メタ理論に独立な命題を加えたり外したりで、
集合論ではメタ理論を気にしなければいけないので、通常の数学とは毛色が全然違う。
非古典論理ではメタ理論なんて気にもせずに、
群や環などの代数系を扱うのと同じように○○論理の代数系を扱うだけ。
非古典論理の方がずっと普通の数学の匂いがする。