Natürlich ist es unmöglich zu beweisen, dass A und B gleich sind, wenn nichts über diese beiden Mengen bekannt ist. (Aus dem einfachen Grund, dass sie nicht gleich sein müssen.) Du musst also erstmal eine Aussage aufstellen, die A und B beschreibt (und welche Axiome für das zu untersuchende Mengensystem gelten). Und erst, wenn man diese Aussage (und die geltenden Axiome) hat, kann man überprüfen, ob die beiden Mengen gleich sind oder nicht. -- Eulenspiegel1 01:49, 11. Okt. 2010 (CEST)