無限降下法も背理法の一種だけどこれも否定派なの?