Definições como “recursividade” são normalmente encontradas na matemática. O grande apelo que o conceito da recursão traz é a possibilidade de dar uma definição infinita para um conjunto que pode ser finito. Um bom exemplo é o cálculo do fatorial.

Você já deve ter estudado, na matemática, a expressão fatorial: o fatorial de um número natural n é o produto de todos os inteiros positivos menores ou iguais a n. Isso é escrito como n! e lido como "fatorial de n". A notação n! foi introduzida por Christian Kramp em 1808.

O exemplo abaixo demonstra a fórmula do fatorial de qualquer número, onde n é um número inteiro positivo:

F(n) = 1 se n = 0 ou n = 1

F(n) = n.F(n-1), se n>1