ぶっちゃけ、このスレ、使えないよ。

数学基礎論にせよ、数理論理学にせよ、
範囲が広すぎて、話題が絞れない。