Ich habe inzwischen die notwendige Ergänzung im Artikel vorgenommen. Das "selbst wenn" ist aber nicht irreführend, denn der Gödelsche Satz besagt ja in der einen Richtung: Wenn ZFC widerspruchsfrei ist, ist die Widerspruchsfreiheit unbeweisbar.--Wilfried Neumaier 22:36, 6. Jul. 2010 (CEST) Man kann diesen Wenn-Satz aber ruhig weglassen, weil er eine selbstverständliche Arbeitshypothese ist.-- Wilfried Neumaier 08:11, 7. Jul. 2010 (CEST)