El conjunto de las funciones primitivas recursivas se define según las siguientes reglas: