連続体仮説が証明反証不可能であると仮定する。
すると、連続体仮説に反する集合を反例としてあげることは不可能である。
よって連続体仮説に反する集合は存在しない。
よって連続体仮説は真となり、連続体仮説が証明反証不可能であることに反する。