Die Aussage, ein Beweis der Widerspruchsfreiheit von ZFC wäre nicht möglich, ist sinnfrei, so lange man nicht sagt, in welchem System dieser Beweis erfolgen soll. Aus dem Gödelschen Satz folgt, dass in ZFC die Widerspruchsfreiheit von ZFC genau dann bewiesen werden kann, wenn ZFC nicht widerspruchsfrei ist. Auch das "selbst wenn" am Ende das Abschnittes ist daher irreführend. -- Carsten Schultz 15:00, 1. Jan. 2010 (CET)