> For example, it is often possible to convert a standard inductive proof into a proof by contradiction I would not consider those the same though, as one is c

> For example, it is often possible to convert a standard inductive proof into a proof by contradiction I would not consider those the same though, as one is constructive and the other is not.