>>381
そうそう、証明になってない、のはみんな薄々気づいてる。
だからモデル理論や基礎論云々の話の方に行っちゃう。