それが証明できることと事実として正しいことは必ずしも一致しないけどもね
極端な話、何の推論規則も公理も仮定しなければ当然矛盾は生じようがないけど
それをその体系内で証明するのは明らかに不可能