因みにある公理系が無矛盾である事を示すには他の公理系を用いて、その公理系の無矛盾を示すのにまた他の公理系を用いてっていう公理系の無限列の存在を示せば、問題は解消されますか？