Guten Abend!
Ich kann den Beweis für folgenden Satz nicht nachvollziehen:
Zu jeder Menge U von Mengen ∃ Menge B mit B∈U.
Beweis:
B:={A∈U|A∉A}. Wäre B∈U, dann gälte B∈B genau dann, wenn B∉B. (Widerspruch)
Daher gilt B∉U.
Wieso folgen aus B∈U B∈B und B∉B?
Punkte: 10