Die Menge der Programmnummern von Registerprogrammen, die angesetzt auf 0 {\displaystyle {}0} anhalten, ist R {\displaystyle {}R} -aufzählbar.
