No lo usaste en este caso porque no sirve de nada, pero ¿se podría? O mejor dicho: ¿se debería no hacerlo?
Se debería no hacerlo, o al menos en este contexto. La idea de una definición inductiva es construir
directa y explícitamente elementos nuevos a través de las ya construidas, para luego asegurar lo que comúnmente se establece lo que es probar por inducción o lo que es definir funciones recursivas.
