Es seien A , B ⊆ N {\displaystyle {}A,B\subseteq \mathbb {N} } Teilmengen, deren symmetrische Differenz A △ B {\displaystyle {}A\mathop {\triangle } B} endlich sei. Zeige, dass A {\displaystyle {}A} genau dann aufzählbar bzw. entscheidbar ist, wenn B {\displaystyle {}B} aufzählbar bzw. entscheidbar ist.
