La recursividad se considera un requisito mínimo y elemental de cualquier teoría sintáctica el formalizar la capacidad humana de generar infinitas oraciones a partir de un número limitado de elementos ("Infinitud discreta").