Wählt man als Kodierung für natürliche Zahlen von-Neumann-Numerale ( für die 0 und für Nachfolger; mit [] habe ich mal die rekursive Kodierungsfunktion bezeichnet, und lasse die im weiteren gleich wieder weg und tue so, als sei es die Identitätsfunktion), dann enthält dein A das Element . Schneidet man das mit A, bildet also , kommt die leere Menge 'raus, denn in A kommt nicht als Element vor. ist also ein geeigeneter B-Kandidat. -- Daniel5Ko 21:48, 13. Jun. 2011 (CEST)