> M2 = {x∈ℕ|2n}
Ich übersetze das mal in Worte: "M2 ist die Menge aller x aus den natürlichen Zahlen, für die 2n gilt". Das ergibt wenig Sinn. Woher kommt das n auf ein mal? Wo ist der Zusammenhang zwischen dem n und dem x? auf der rechten Seite von dem | sollte eine Aussage stehen, also etwas von es Sinn ergibt, zu fragen ob es wahr oder falsch ist. Es ergibtkinen Sinn, zu fragen ob "2n" wahr oder falsch ist.
Versuch's mal so: "M2 ist die Menge aller x aus den natürlichen Zahlen, für die es eine natürliche Zahl n gibt, so dass x=2n ist".
> Explizit: M2={2,4,6,8,10,12.....}
Das ist richtig.