0155132人目の素数さん垢版 | 大砲2020/08/06(木) 09:52:19.07ID:mEXA25CV >>154 します それは証明の仕組みという論理の部分ですから なにを仮定するかという公理系の話とは無関係な部分です