>>154
します

それは証明の仕組みという論理の部分ですから

なにを仮定するかという公理系の話とは無関係な部分です