Es sei ${\displaystyle {}T\subseteq \mathbb {N} }$ eine Teilmenge von natürlichen Zahlen. Zeige, dass ${\displaystyle {}T}$ genau dann ${\displaystyle {}R}$-entscheidbar ist, wenn sowohl ${\displaystyle {}T}$ als auch das Komplement ${\displaystyle {}\mathbb {N} \setminus T}$ ${\displaystyle {}R}$-aufzählbar ist.