The principle stating that for all properties, given that a property holds of the number 1, and given that when it holds of one number it holds of its successor, then it holds of all positive numbers.
Philosophy dictionary. Academic. 2011.
Philosophy dictionary. Academic. 2011.