a law in set theory which states that if a set is a subset of the set of all positive integers and contains 1, and if for each number in the given set the succeeding natural number is in the set, then the given set is identical to the set of all positive integers. Cf.(def. 5).