Ja, finde ich jetzt gut. Wobei man über die Relevanz immer noch streiten könnte: Wenn wir Gödels Resultat nicht kennen würden und wir einen Beweis der Widerspruchsfreiheit von ZFC in ZFC hätten, würde das ZFC glaubwürdiger machen? Dass ein solcher Beweis existiert, falls ZFC widerspruchsvoll ist, wüssten wir ja. Aber das ist wohl nicht der Ort, um das zu diskutieren. -- Carsten Schultz 14:54, 29. Jul. 2010 (CEST)