Aを公理とするとき、A|-BもA|-¬Bも証明可能ではないですから、Bは決定不能命題ですか？