背理法って公理系が無矛盾じゃないと意味ないですよね？
公理系が無矛盾であることの証明ってできるんですか？