Um es offen zu sagen: Doch, hast du.^^ Betrachte nochmal folgende Aussagenmenge (der Sprache der Mengenlehre + unendliche vielen Konstantensymbolen c_k): ZF + die Menge der , wobei die Kunjunktion der Aussagen der Form c_i Element von c_j für j 21:18, 28. Nov. 2013 (CET)