>>928
伺いたいのですが,「証明可能」の定義は何ですか?