>>715
>それは現在の公理系（通常はZFC公理系を指すのでしょうが）が真理だと仮定した上
>での話で、そんなものは誰にも証明は出来ませんよ。

あの、公理系は「真理だと証明する」対象ではないんですが？
公理系のエンティティとしての無矛盾性（=2値論理との整合性）と混同してやしませんか？