Por ejemplo, las demostraciones por inducción matemática suelen tener dos partes: una que muestra que si una propiedad es cierta para un cierto valor "n" entonces también cierto para el valor "n"+1, y otra parte llamada "caso base" que muestra que la propiedad se cumple para un valor particular, generalmente 0 o 1.