数学的論法の一。

Aの事柄を証明するために、Aが成立するためにはBが成立しなければならないことを示し、Bが成立するためにCが成立しなければならないことを示し、以下 順次これを繰り返して既知の事柄に帰着させること。