En este trabajo, se obtiene una variante funcional del análogo polinómico del teorema del punto fijo de Gandy. Se han encontrado condiciones suficientes para garantizar que la complejidad de las funciones recursivas no exceda los límites polinómicos. Esto abre oportunidades para mejorar la expresividad de los lenguajes p-completos mediante la incorporación de constructos definidos recursivamente. Este enfoque es particularmente relevante en áreas como: gemelos digitales impulsados por IA de ciudades inteligentes y sistemas complejos, IA confiable, blockchains y contratos inteligentes, transporte, logística y aeroespacial. En estos dominios, garantizar la fiabilidad de los procesos inductivamente definibles es crucial para mantener la seguridad y el bienestar humanos.