Nella prima parte della dimostrazione del teorema di Enumerazione si dice che la funzione U, definita nel teorema di forma Normale, è anch'essa una funzione calcolabile in due argomenti: i e x.

Come mai la y non fa parte degli argomenti della funzione che poi servirà nella dimostrazione del teorema di Enumerazione?