This is something I was wondering about for quite a while.
Is it possible to construct a statement that can only be proven by using 'proof by contradicition' or contraposition? Or to put it differently: If we do not use contradictions or contrapositions, would we be able to build the same mathematical framework that we would get without using them?