>数学の無矛盾性証明なんか要らんわ
矛盾している理論は、それからあらゆる命題を証明できるから数学的に無意味。
一階述語論理では、ある理論が無矛盾であることとそのモデルが存在することは同値（完全性定理）。超フィルタ補題を使って証明できる。

>基礎論村から出てくなる
ここ基礎論スレだけど？　頭大丈夫？