Si "P" fuera enumerable, entonces debería existir una lista "L" tal que formula_4 formara parte de ella como elemento formula_16.