「無限降下法」の版間の差分

①②①②③が成立すると、無限に減少する自然数の列がとれるが、これは、n(0)以下の自然数が有限であることに矛盾するので、もとの命題は真となる。