One of the most used methods of proof applies to those situations in which an infinite set of propositions follow one another in a sequence.