とりあえず「任意のPAの記号を使った閉じた命題PについてPか¬Pのどちらかを証明できる無矛盾な公理系が存在する」は定理だから。