Die Überabzählbarkeit von M\N beweisen
Wie kann man zeigen, dass die Menge M\N überabzählbar ist? Um zu beweisen, dass die Menge M\N überabzählbar ist, muss man zunächst annehmen, dass M\N abzählbar ist und darauf aufbauen. Stell dir vor, es gäbe eine surjektive Funktion f von den natürlichen Zahlen auf M\N. Doch wenn man genauer hinschaut, ergeben sich Widersprüche. Indem man ein Element x aus M\N definiert, welches nicht im Bild von f liegt, kann man zeigen, dass f nicht surjektiv ist. Somit wäre M\N überabzählbar.