As in the other antinomies, the proof starts off apagogically by assuming the opposite of each thesis; secondly, in order to show the contradiction of this assumption, its opposite which is then the proposition to be proved is assumed in turn and presupposed as valid.