>>85
似た話で
「証明できないことを示すのが強制法
証明できないことが証明できないことを示すのが巨大基数」
というのなら聞いたことがある。