A general method of proving statements concerning a positive integral variable: if a statement is proven true for x = 1, and if it is proven that, if the statement is true for x = 1, ..., n, then it is true for x = n + 1, it follows that the statement is true for any integer. Also known as complete induction.