Vielleicht sollte ich es noch einmal deutlicher sagen: Wenn ZF nicht widerspruchsfrei ist, kann man in ZF die Widerspruchsfreiheit von ZF beweisen. Wer behauptet, man könne in ZF die Widerspruchsfreiheit von ZF nicht beweisen, behauptet also auch, dass ZF widerspruchsfrei ist. Und während ich das ja auch glaube, sollte man nicht behaupten, dass Gödel das gezeigt hat -- Carsten Schultz 01:43, 29. Jul. 2010 (CEST)