命題の真偽を仮定するのではなく
仮定の真偽を証明するとはどういうことかね