>>526
＞「PAでもZFCでもその中の
＞　有限個の公理だけを使った理論は
＞　もとのPAやZFCで証明できる。」

これだとあまりにも自明だなｗ

「PAでもZFCでもその中の
　有限個の公理だけを使った理論の無矛盾性は
　もとのPAやZFCで証明できる。」

なら、わからんでもないが。