というか到達不能基数の存在から矛盾が生じる証明したらいい
一般に数学の証明は難しいけど論理的に矛盾するというならそれを証明に落とし込むだけの作業だから出来るんでしょ？