・数理論理学（ロジック）とは？

　「ZFC ＋ 可測基数の存在」……（M）
は無矛盾である、と言うと必ず突っ込みが入り、
Mは無矛盾ではない、と言っても当然突っ込まれ、
Mが無矛盾であることが証明できる、と言っても必ず突っ込まれ
Mが無矛盾であることは証明できない、と言っても必ず突っ込まれる、

そんな微妙な命題を扱うギザギザハートな分野です