>>40633740
>in which the proof of some proposition presupposes the truth of that very proposition
My brain hurts, does this mean that the proof of "x" assumes that "x" is true? What does that look like in an example?