nee, goedels beweis geht ueber was ganz anderes.

diese saetze sind sog. /antinomien/, d.h. widersprueche; wenn man nicht ganz genau aufpasst, (wie z.b. cantor mit seinen axiomen der mengenlehre), dann kann aus den axiomen ein widerspruch hergeleitet werden (das ist net so des was mann/frau sich von axiomen wuenscht ;-). es gab /einige/ axiomensysteme in der geschichte der logik, die hinterher zusammengekracht sind, da ein widerspruch hergeleitet werden konnte.

crian, bin heute bis ca. halb 4 online :-)