Neue Erkenntnisse aus Augsburg: ZFC ist inkonsistent!

13/09/2010 - 01:15 von Franz Fritsche | Report spam
"Das eigentliche Problem liegt darin, dass ZFC einen Widerspruch ergibt:
Die Aussagen |{a, b, c, ...}| = 0 und |{a, b, c, ...}| = aleph_0 sind
beide ableitbar."

(Prof. Dr. Wolfgang Mückenheim, FH Augsburg)
 

Lesen sie die antworten

#1 Franz Fritsche
13/09/2010 - 01:27 | Warnen spam
On Mon, 13 Sep 2010 01:15:18 +0200, Franz Fritsche wrote:

"Das eigentliche Problem liegt darin, dass ZFC einen Widerspruch ergibt:
Die Aussagen |{a, b, c, ...}| = 0 und |{a, b, c, ...}| = aleph_0 sind
beide ableitbar."

(Prof. Dr. Wolfgang Mückenheim, FH Augsburg)



Anmerkung: Es reicht dabei schon, dass |{a, b, c, ...}| = 0 ableitbar ist.
Denn zum einen gilt in ZFC: |M| = 0 <-> M = {}, zum anderen, dass {a, b, c,
...} =/= 0 ist für bel. a, b, c, ...; denn es gilt z.B. a e {a, b, c, ...}.

Wenn Herr Prof. Dr. Wolfgang Mückenheim hier noch den Beweis von

|{a, b, c, ...}| = 0

in ZFC posten könnte, wàre das großartig!

MfG,
FF

Ähnliche fragen