A proof technique used to demonstrate that a statement holds for all positive integers, by showing that it holds for the base case and then showing that if it holds for some arbitrary positive integer, it necessarily holds for the next integer as well.