>>208
>>それ（＝数学の無矛盾性）が証明できることと
>>事実として正しいことは必ずしも一致しないけどもね
＞前者⇒後者は正しい。逆は真ならず。

矛盾している公理系では任意の命題が証明できる
したがって「無矛盾性が証明できれば無矛盾である」
というのは完全に初歩的な誤り